Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription.

Mikols Janota, Radu Grigore, Joo Marques-Silva

Browse the full JELIA paper archive.