@article{GressmannJanhunenMerceretal.2005, author = {Gressmann, Jean and Janhunen, Tomi and Mercer, Robert E. and Schaub, Torsten H. and Thiele, Sven and Tichy, Richard}, title = {Platypus : a platform for distributed answer set solving}, year = {2005}, language = {en} }