@InProceedings{JanotaEtAl10-JELIA, author = { Mikol\'a\v{s} Janota and Radu Grigore and Joao Marques-Silva }, title = {Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription }, booktitle = { Proceeding of the 12th European Conference on Logics in Artificial Intelligence (JELIA 10) }, publisher = { Springer-Verlag }, year = 2010 }