@article{BesnardSchaubTompitsetal.2002,
  author    = {Philippe Besnard and Torsten Schaub and Hans Tompits and Stefan Woltran},
  title     = {Paraconsistent reasoning via quantified boolean formulas},
  year      = {2002},
}