Middle-out reasoning for synthesis and induction (1996)

by I Kraan, D Basin, A Bundy
Venue:Journal of Automated Reasoning