| |
| 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] |