Platypus: A Platform for Distributed Answer Set Solving. - Jean Gressmann; Tomi Janhunen; Robert E. Mercer; Torsten Schaub; Sven Thiele; Richard Tichy (LPNMR, 2005)

On Probing and Multi-Threading in Platypus. - Jean Gressmann; Tomi Janhunen; Robert E. Mercer; Torsten Schaub; Sven Thiele; Richard Tichy (ECAI, 2006)