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