Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription

Bibliographic Details
Main Authors: Janota, M, Grigore, R, Marques−Silva, J
Format: Conference item
Published: Springer 2010