CIRC2DLP 1.1 — Software for Translating Parallel Circumscription to Disjunctive Logic Programming

Reference:

Emilia Oikarinen. CIRC2DLP 1.1 — software for translating parallel circumscription to disjunctive logic programming, 2005. Computer Program.

Suggested BibTeX entry:

@misc{circ2dlp05,
    author = {Emilia Oikarinen},
    note = {Computer Program},
    title = {{CIRC2DLP} 1.1 --- Software for Translating Parallel Circumscription to Disjunctive Logic Programming},
    year = {2005},
}