circ2dlp 2.1 --- a linear translation from prioritized circumscription to disjunctive logic programming (2007)
[BibTex]