Qingxun Yu, Mohammed Almulla, Monroe M. Newborn. Heuristics Used by HERBY for Semantic Tree Theorem Proving. Annals of Mathematics and Artificial Intelligence, 23(3-4):247-266, 1998.
@article{YuAN98:0,
title = {Heuristics Used by HERBY for Semantic Tree Theorem Proving},
author = {Qingxun Yu and Mohammed Almulla and Monroe M. Newborn},
year = {1998},
researchr = {https://researchr.org/publication/YuAN98%3A0},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {23},
number = {3-4},
pages = {247-266},
}