Karel Stokkermans
Univ. of Salzburg, Austria
Automated deduction for many-valued logics
Handbook of automated reasoning