A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming (2007)
Oikarinen Emilia , Janhunen Tomi