Middle-out reasoning for logic program synthesis (1993)

by I Kraan, D Basin, A Bundy
Venue:In ICLP'93: Proceedings of the tenth international conference on logic programming on Logic programming