On Probing and Multi-Threading in Platypus - Jean Gressmann; Tomi Janhunen; Robert E. Mercer; Torsten Schaub; Sven Thiele; Richard Tichy (ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings, 2006)

Platypus: A Platform for Distributed Answer Set Solving - Jean Gressmann; Tomi Janhunen; Robert E. Mercer; Torsten Schaub; Sven Thiele; Richard Tichy (Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings, 2005)