@misc{
    LPEQ02,
    author = "Janhunen, Tomi",
    title = "lpeq 1.13 --- {A} Tool for Testing the Equivalence of Logic Programs",
    url = "http://research.ics.aalto.fi/software/asp/lpeq/",
    note = "Computer Program",
    flags = "SA-53695 SOFTWARE",
    year = "2002",
    howpublished = "http://research.ics.aalto.fi/software/asp/lpeq/"
}