Middle-out reasoning for logic program synthesis - Kraan, Ina; Basin, David A.; Bundy, Alan (University <Edinburgh>, 1993)