Middle-out reasoning for program synthesis (1993)

by I Kraan, D Basin, A Bundy
Venue:10th International Conference on Logic Programming