James J. Lu, Neil V. Murray, Erik Rosenthal. Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics. In Zbigniew W. Ras, Setsuo Ohsuga, editors, Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings. Volume 1932 of Lecture Notes in Computer Science, pages 301-310, Springer, 2000. [doi]
@inproceedings{LuMR00,
title = {Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics},
author = {James J. Lu and Neil V. Murray and Erik Rosenthal},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/1932/19320301.htm},
tags = {logic},
researchr = {https://researchr.org/publication/LuMR00},
cites = {0},
citedby = {0},
pages = {301-310},
booktitle = {Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings},
editor = {Zbigniew W. Ras and Setsuo Ohsuga},
volume = {1932},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-41094-5},
}