@misc{
    LP2SAT06,
    author = "Janhunen, Tomi",
    title = "lp2sat 1.10 --- {A} Tool for Translating Normal Logic Programs into {SAT}",
    url = "http://research.ics.aalto.fi/software/asp/lp2sat/",
    note = "Computer Program",
    flags = "ACPT SOFTWARE",
    year = "2006",
    howpublished = "http://research.ics.aalto.fi/software/asp/lp2sat/"
}