Automated deduction in multiple-valued logics - Hähnle, Reiner (Clarendon Press, 1993)