lp2diff 1.23 — Translating Logic Programs into Difference Logic

Reference:

Tomi Janhunen. lp2diff 1.23 — Translating logic programs into difference logic. http://www.tcs.hut.fi/Software/lp2diff/, 2009. Computer Program.

Suggested BibTeX entry:

@misc{LP2DIFF09,
    author = {Tomi Janhunen},
    howpublished = {http://www.tcs.hut.fi/Software/lp2diff/},
    note = {Computer Program},
    title = {lp2diff 1.23 --- {T}ranslating Logic Programs into Difference Logic},
    year = {2009},
}