%0 Journal Article %1 journals/tocl/Arieli07 %A Arieli, Ofer %D 2007 %J ACM Trans. Comput. Log. %K dblp %N 3 %P 18 %T Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae. %U http://dblp.uni-trier.de/db/journals/tocl/tocl8.html#Arieli07 %V 8

@article{journals/tocl/Arieli07, added-at = {2018-11-06T00:00:00.000+0100}, author = {Arieli, Ofer}, biburl = {https://www.bibsonomy.org/bibtex/2ee3a1007a2316eb907da02ebc208eb97/dblp}, ee = {https://doi.org/10.1145/1243996.1244001}, interhash = {efa4f03f2187038260584bce55cdb894}, intrahash = {ee3a1007a2316eb907da02ebc208eb97}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 3, pages = 18, timestamp = {2018-11-07T12:18:12.000+0100}, title = {Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl8.html#Arieli07}, volume = 8, year = 2007 }