Anthony Hunter. A Semantic Tableau Version of First-Order Quasi-Classical Logic. In Salem Benferhat, Philippe Besnard, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings. Volume 2143 of Lecture Notes in Computer Science, pages 544-555, Springer, 2001. [doi]
@inproceedings{Hunter01:2,
title = {A Semantic Tableau Version of First-Order Quasi-Classical Logic},
author = {Anthony Hunter},
year = {2001},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2143&spage=0544},
tags = {logic},
researchr = {https://researchr.org/publication/Hunter01%3A2},
cites = {0},
citedby = {0},
pages = {544-555},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings},
editor = {Salem Benferhat and Philippe Besnard},
volume = {2143},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42464-4},
}