Lifeng He. UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving. In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001. pages 618-623, Morgan Kaufmann, 2001.
Abstract is missing.