- CSB - MetaPress - Google - Bing - Yahoo
 | 1998 | |
|---|---|---|
| 1 |      | Qingxun Yu, Mohammed Almulla, Monroe M. Newborn: Heuristics Used by HERBY for Semantic Tree Theorem Proving. Ann. Math. Artif. Intell. 23(3-4): 247-266 (1998) |
| 1 | Mohammed Almulla | [1] |
| 2 | Monty Newborn (Monroe M. Newborn) | [1] |