Automated deduction in multiple-valued logics /
Hähnle, Reiner.
Oxford : Clarendon,
1993.