GnT – A Solver for Disjunctive Logic Programs

Reference:

Tomi Janhunen and Ilkka Niemelä. GnT – a solver for disjunctive logic programs. In Vladimir Lifschitz and Ilkka Niemelä, editors, Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 331–335, Fort Lauderdale, Florida, 2004. Springer-Verlag. LNAI 2923.

Suggested BibTeX entry:

@inproceedings{JN04:lpnmr,
    address = {Fort Lauderdale, Florida},
    author = {Tomi Janhunen and Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning},
    editor = {Vladimir Lifschitz and Ilkka Niemel{\"a}},
    note = {LNAI 2923},
    pages = {331--335},
    publisher = {Springer-Verlag},
    title = {{G}n{T} -- A Solver for Disjunctive Logic Programs},
    year = {2004},
}