%0 Conference Paper %1 conf/jelia/BesnardSTW02 %A Besnard, Philippe %A Schaub, Torsten %A Tompits, Hans %A Woltran, Stefan %B JELIA %D 2002 %E Flesca, Sergio %E Greco, Sergio %E Leone, Nicola %E Ianni, Giovambattista %I Springer %K dblp %P 320-331 %T Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. %U http://dblp.uni-trier.de/db/conf/jelia/jelia2002.html#BesnardSTW02 %V 2424 %@ 3-540-44190-5

@inproceedings{conf/jelia/BesnardSTW02, added-at = {2017-05-25T00:00:00.000+0200}, author = {Besnard, Philippe and Schaub, Torsten and Tompits, Hans and Woltran, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/267a793dde700e58a241abfaab3e01ce2/dblp}, booktitle = {JELIA}, crossref = {conf/jelia/2002}, editor = {Flesca, Sergio and Greco, Sergio and Leone, Nicola and Ianni, Giovambattista}, ee = {https://doi.org/10.1007/3-540-45757-7_27}, interhash = {23be12e0dc97469f0491a0207ff0ccae}, intrahash = {67a793dde700e58a241abfaab3e01ce2}, isbn = {3-540-44190-5}, keywords = {dblp}, pages = {320-331}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:32:08.000+0200}, title = {Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia2002.html#BesnardSTW02}, volume = 2424, year = 2002 }