Edgar Altamirano, Gonzalo Escalada-Imaz. An Efficient Proof Method for Non-clausal Reasoning. 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 534-542, Springer, 2000. [doi]
Abstract is missing.