@inproceedings{9d11ebd457684a45acea3a473c6e0890,
title = "Platypus: A Platform for Distributed Answer Set Solving",
keywords = "Answer set programming, distributed algorithms, Answer set programming, distributed algorithms, Answer set programming, distributed algorithms",
author = "Jean Gressmann and Tomi Janhunen and Robert Mercer and Torsten Schaub and Sven Thiele and Richard Tichy",
year = "2005",
language = "English",
pages = "227--239",
editor = "Chitta Baral and Gianluigi Greco and Nicola Leone and Giorgio Terracina",
booktitle = "Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005",
publisher = "Springer",
address = "Germany",
}