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]
Abstract is missing.