Emilia Oikarinen Tomi Janhunen Implementing Prioritized Circumscription by Computing Disjunctive Stable Models. 167-180 2008 AIMSA http://dx.doi.org/10.1007/978-3-540-85776-1_15 conf/aimsa/2008 db/conf/aimsa/aimsa2008.html#OikarinenJ08