@article{GressmannJanhunenMerceretal.2005,
  author    = {Jean Gressmann and Tomi Janhunen and Robert E. Mercer and Torsten H. Schaub and Sven Thiele and Richard Tichy},
  title     = {Platypus : a platform for distributed answer set solving},
  url       = {http://www.cs.uni-potsdam.de/wv/pdfformat/grjamescthti05a.pdf},
  year      = {2005},
}