Automated Deduction in Multiple-Valued Logics - Hahnle (Oxford University PressOxford University Press, 2023)