Matthias Baaz, Christian G. Fermüller, Richard Zach. Dual systems of sequents and tableaux for many-valued logics. Bulletin of the EATCS, 49:192-197, 1993.
@article{BaazFZ93a,
title = {Dual systems of sequents and tableaux for many-valued logics},
author = {Matthias Baaz and Christian G. Fermüller and Richard Zach},
year = {1993},
tags = {logic},
researchr = {https://researchr.org/publication/BaazFZ93a},
cites = {0},
citedby = {0},
journal = {Bulletin of the EATCS},
volume = {49},
pages = {192-197},
}