Qingxun Yu Mohammed Almulla Monroe M. Newborn Heuristics Used by HERBY for Semantic Tree Theorem Proving. 247-266 1998 23 Ann. Math. Artif. Intell. 3-4 db/journals/amai/amai23.html#YuAN98