Middle-out reasoning for logic program synthesis (1993)

by Ina Kraan, David Basin, Alan Bundy
Venue:In 10th International Conference on Logic Programing (ICLP93