Heuristics Used by HERBY for Semantic Tree Theorem Proving. - Qingxun Yu; Mohammed Almulla; Monroe M. Newborn (Ann. Math. Artif. Intell., 1998)