@article{BesnardSchaubTompitsetal.2003,
  author    = {Philippe Besnard and Torsten H. Schaub and Hans Tompits and Stefan Woltran},
  title     = {Paraconsistent reasoning via quantified boolean formulas : Part II: Circumscribing inconsistent theories},
  year      = {2003},
}