Erik Sandewall
-
A Framework for Automated Reasoning in Multiple-Valued Logics
Journal of Automated Reasoning
Adapting Classical Inference Techniques To Multiple-Valued Logics Using Signed Formulas
Fundamenta Informaticae