Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription - Janota, M; Grigore, R; Marques−Silva, J (Logics in Artificial Intelligence − 12th European Conference‚ JELIA 2010‚ Helsinki‚ Finland‚ September 13−15‚ 2010. Proceedings, 2010)