Lifeng He, Yuyan Chao, Hidenori Itoh. Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving. J. Comput. Sci. Technol., 18(5):580-591, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.