GnT 2.1 — A Tool for Computing Stable Models for Disjunctive Logic Programs

Reference:

Tomi Janhunen and Patrik Simons. GnT 2.1 — A tool for computing stable models for disjunctive logic programs. http://www.tcs.hut.fi/Software/gnt/, 2004. Computer Program.

Suggested BibTeX entry:

@misc{GNT04,
    author = {Tomi Janhunen and Patrik Simons},
    howpublished = {http://www.tcs.hut.fi/Software/gnt/},
    note = {Computer Program},
    title = {{G}n{T} 2.1 --- {A} Tool for Computing Stable Models for Disjunctive Logic Programs},
    year = {2004},
}