- CSB - MetaPress - Google - Bing - Yahoo
 | 1992 | |
|---|---|---|
| 4 |      | Ulrich Fraus: A Calculus for Conditional Inductive Theorem Proving. CTRS 1992: 357-362 |
| 3 |  | Ulrich Fraus, Heinrich Hußmann: An Inductive Theorem Prover Based on Narrowing. LPAR 1992: 475-477 |
| 1991 | ||
| 2 | | Ulrich Fraus, Heinrich Hußmann: A Narrowing-Based Theorem Prover. PLILP 1991: 421-422 |
| 1 | | Ulrich Fraus: A Narrowing-Based Theorem Prover. RTA 1991: 435-436 |
| 1 | Heinrich Hußmann (Heinrich Hussmann) | [2] [3] |