GnT -- A Solver for Disjunctive Logic Programs (2004)
  • BOOKTITLE:
  • Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning
  • PAGES:
  • 331--335
[BibTex]