@inproceedings{DBLP:conf/dagstuhl/BesnardSTW05,
  author = {Besnard, Philippe and Schaub, Torsten and Tompits, Hans and Woltran, Stefan},
  title = {Representing Paraconsistent Reasoning via Quantified Propositional Logic},
  booktitle = {Inconsistency Tolerance},
  series = {Lecture Notes in Computer Science},
  volume = {3300},
  pages = {84--118},
  publisher = {Springer},
  year = {2005}
}