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

AUTHORS:

Oikarinen Emilia

URL:
http://www.tcs.hut.fi/Software/circ2dlp/