Ina Kraan David A. Basin Alan Bundy Logic Program Synthesis via Proof Planning. 1-14 1992 LOPSTR db/conf/lopstr/lopstr92.html#KraanBB92