A Narrowing-Based Theorem Prover. - Ulrich Fraus; Heinrich Hußmann (PLILP, 1991)

A Narrowing-Based Theorem Prover. - Ulrich Fraus (RTA, 1991)

A Calculus for Conditional Inductive Theorem Proving. - Ulrich Fraus (CTRS, 1992)

An Inductive Theorem Prover Based on Narrowing. - Ulrich Fraus; Heinrich Hußmann (LPAR, 1992)

Mechanizing inductive theorem proving in conditional theories. - Ulrich Fraus (VDI-Verlag, 1995)