%0 Conference Paper %1 conf/birthday/LuHSC91 %A Lu, James J. %A Henschen, Lawrence J. %A Subrahmanian, V. S. %A da Costa, Newton C. A. %B Automated Reasoning: Essays in Honor of Woody Bledsoe %D 1991 %E Boyer, Robert S. %I Kluwer Academic Publishers %K dblp %P 181-210 %T Reasoning in Paraconsistent Logics. %U http://dblp.uni-trier.de/db/conf/birthday/bledsoe1991.html#LuHSC91 %@ 0-7923-1409-3

@inproceedings{conf/birthday/LuHSC91, added-at = {2016-03-30T00:00:00.000+0200}, author = {Lu, James J. and Henschen, Lawrence J. and Subrahmanian, V. S. and da Costa, Newton C. A.}, biburl = {https://www.bibsonomy.org/bibtex/2f719b79b3782abcb772c21ebf0bd1889/dblp}, booktitle = {Automated Reasoning: Essays in Honor of Woody Bledsoe}, crossref = {conf/birthday/1991bledsoe}, editor = {Boyer, Robert S.}, interhash = {1f7dc08b6a497fd752ec26f32b65baf9}, intrahash = {f719b79b3782abcb772c21ebf0bd1889}, isbn = {0-7923-1409-3}, keywords = {dblp}, pages = {181-210}, publisher = {Kluwer Academic Publishers}, series = {Automated Reasoning Series}, timestamp = {2016-03-31T11:42:02.000+0200}, title = {Reasoning in Paraconsistent Logics.}, url = {http://dblp.uni-trier.de/db/conf/birthday/bledsoe1991.html#LuHSC91}, year = 1991 }