Logic Program Synthesis via Proof Planning (1993)

Cached

Download Links

by C Fl Ina Kraan , Ina Kraan , Ina Kraan , David Basin , David Basin , David Basin , Alan Bundy , Alan Bundy , Alan Bundy
Venue:Logic Program Synthesis and Transformation
Citations:24 - 6 self