@misc{indiciae9ef36bb79f7d,
  title = {Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription},
  author = {Mikoláš Janota and Joao Marques-Silva and Radu Grigore},
  year = {2010},
  url = {https://arxiv.org/abs/1006.5896},
  note = {Source identifier: 1006.5896}
}