James J. Lu;Neil V. Murray;Erik Rosenthal
-;-;-
A Framework for Automated Reasoning in Multiple-Valued Logics
Journal of Automated Reasoning
Filter-based resolution principle for lattice-valued propositional logic LP(X)
Information Sciences: an International Journal