Matthias Baaz, Christian G. Fermüller. Resolution-Based Theorem Proving for Manyvalued Logics. Journal of Symbolic Computation, 19(4):353-391, 1995.
@article{BaazF95:0,
title = {Resolution-Based Theorem Proving for Manyvalued Logics},
author = {Matthias Baaz and Christian G. Fermüller},
year = {1995},
tags = {rule-based, logic},
researchr = {https://researchr.org/publication/BaazF95%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {19},
number = {4},
pages = {353-391},
}