Term induction proofs by a generalization of narrowing (1992)

by Ulrich Fraus, Heinrich Humann
Venue:The Unified Computation Laboratory --- Unifying Frameworks, Theories and Tools