Middle-Out Reasoning for Program Synthesis (1993)

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