@misc{
    GNT03,
    author = "Janhunen, Tomi and Simons, Patrik",
    title = "{G}n{T} 2 --- {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 = "2003",
    howpublished = "http://research.ics.aalto.fi/software/asp/gnt/"
}