circ2dlp 2.1 — a linear translation from prioritized circumscription to disjunctive logic programming

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},
}