Dual Systems of Sequents and Tableaux for Many-Valued Logics (1993)

by Matthias Baaz, Christian G. Fermüller, Richard Zach
Venue:BULL. EATCS