Annotated rewriting in inductive theorem proving (1996)

by David Basin, Toby Walsh
Venue:Journal of Automated Reasoning