Proof planning for logic program synthesis. - H. C. Kraan (1994)