Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics (1991)

by R Hähnle
Venue:in Proceedings Workshop Computer Science, Springer, LNCS 533