@misc{
    GNT04,
    author = "Janhunen, Tomi and Simons, Patrik",
    title = "{G}n{T} 2.1 --- {A} Tool for Computing Stable Models for Disjunctive Logic Programs",
    url = "http://research.ics.aalto.fi/software/asp/gnt/",
    note = "Computer Program",
    flags = "SA-53695 SOFTWARE",
    year = "2004",
    howpublished = "http://research.ics.aalto.fi/software/asp/gnt/"
}