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