Matthias Baaz Christian G. Fermüller Resolution for Many-Valued Logics. 107-118 1992 conf/lpar/1992 LPAR db/conf/lpar/lpar92.html#BaazF92 http://dx.doi.org/10.1007/BFb0013053