@misc{
    ASPTOOLS07,
    author = "Janhunen, Tomi",
    note = "Computer Program",
    title = "asptools 1.0 --- {A} Tool Collection for Answer Set Programming",
    url = "http://research.ics.aalto.fi/software/asp/asptools/",
    responsibleauthor = "Janhunen, Tomi",
    flags = "ACPT SOFTWARE",
    year = "2007",
    howpublished = "http://research.ics.aalto.fi/software/asp/asptools/"
}