Automated Deduction for Many-valued Logics (2000)

by M Baaz, C G Fermüller, G Salzer
Venue:in Handbook of Automated Reasoning