@misc{
    LP2DIFF09,
    author = "Janhunen, Tomi",
    note = "Computer Program",
    title = "lp2diff 1.23 --- {T}ranslating Logic Programs into Difference Logic",
    url = "http://research.ics.aalto.fi/software/asp/lp2diff/",
    responsibleauthor = "Janhunen, Tomi",
    flags = "MCM SOFTWARE",
    year = "2009",
    howpublished = "http://research.ics.aalto.fi/software/asp/lp2diff/"
}