Logic program synthesis via proof planning - Kraan, Ina; Basin, David A.; Bundy, Alan (University <Edinburgh>, 1992)