@InProceedings{grjamescthti05a,
  author = "J. Gressmann and T. Janhunen and R. Mercer and T. Schaub and
                  S. Thiele and R. Tichy",
  title = "Platypus: A platform for distributed answer set solving",
  crossref = "lpnmr05",
  booktitle = "Proceedings of the Eighth International Conference on Logic
                  Programming and Nonmonotonic Reasoning (LPNMR'05)",
  pages = "227-239",
  year = 2005
}


@Proceedings{lpnmr05,
  title = "Proceedings of the Eighth International Conference on Logic
              Programming and Nonmonotonic Reasoning (LPNMR'05)",
  year = 2005,
  editor = "C. Baral and G. Greco and N. Leone and G. Terracina",
  volume = 3662,
  series = lnai,
  publisher = springer
}