Reference:
Emilia Oikarinen. circ2dlp 2.1 — a linear translation from prioritized circumscription to disjunctive logic programming, April 2007. Computer Program.
Suggested BibTeX entry:
@misc{circ2dlp07, author = {Emilia Oikarinen}, month = {April}, note = {Computer Program}, title = {circ2dlp 2.1 --- a linear translation from prioritized circumscription to disjunctive logic programming}, year = {2007}, }