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

by R Hähnle
Venue:Computer Science Logic (CSL 90). LNCS 533