Resolution-based theorem proving for many-valued logics (1995)

by Matthias Baaz, Christian G Fermüller
Venue:Journal of Symbolic Computation