TCS /
Research /
Publications /
GnT 2 --- A Tool for Computing Stable Models for Disjunctive Logic Programs
GnT 2 — A Tool for Computing Stable Models for Disjunctive Logic Programs
Reference:
Tomi Janhunen and Patrik Simons. GnT 2 — A tool for computing stable models for disjunctive logic programs. http://www.tcs.hut.fi/Software/gnt/, 2003. Computer Program.
Suggested BibTeX entry:
@misc{GNT03, author = {Tomi Janhunen and Patrik Simons}, howpublished = {http://www.tcs.hut.fi/Software/gnt/}, note = {Computer Program}, title = {{G}n{T} 2 --- {A} Tool for Computing Stable Models for Disjunctive Logic Programs}, year = {2003},
}