Matthias Baaz;Christian G. Fermüller
-;-
Automated deduction for many-valued logics
Handbook of automated reasoning