An Inductive Theorem Prover Based on Narrowing.

Ulrich Fraus, Heinrich Humann

Browse the full LPAR paper archive.