Annotated rewriting in inductive theorem proving (1996)

by D Basin, T Walsh
Venue:Journal of Automated Reasoning