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.
@inproceedings{He01,
title = {UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving},
author = {Lifeng He},
year = {2001},
tags = {search},
researchr = {https://researchr.org/publication/He01},
cites = {0},
citedby = {0},
pages = {618-623},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001},
editor = {Bernhard Nebel},
publisher = {Morgan Kaufmann},
isbn = {1-55860-777-3},
}