%0 Journal Article %1 journals/eatcs/BaazFZ93 %A Baaz, Matthias %A Fermüller, Christian G. %A Zach, Richard %D 1993 %J Bulletin of the EATCS %K dblp %P 192-197 %T Dual systems of sequents and tableaux for many-valued logics. %U http://dblp.uni-trier.de/db/journals/eatcs/eatcs51.html#BaazFZ93 %V 51

@article{journals/eatcs/BaazFZ93, added-at = {2003-06-25T00:00:00.000+0200}, author = {Baaz, Matthias and Fermüller, Christian G. and Zach, Richard}, biburl = {https://www.bibsonomy.org/bibtex/2541e9cd65b59550289d6b5edf5c8dad4/dblp}, date = {2003-06-25}, description = {dblp}, interhash = {7760cdd51f590bd376ad2d6620e53a1c}, intrahash = {541e9cd65b59550289d6b5edf5c8dad4}, journal = {Bulletin of the EATCS}, keywords = {dblp}, pages = {192-197}, timestamp = {2003-06-25T00:00:00.000+0200}, title = {Dual systems of sequents and tableaux for many-valued logics.}, url = {http://dblp.uni-trier.de/db/journals/eatcs/eatcs51.html#BaazFZ93}, volume = 51, year = 1993 }