Middle-Out Reasoning for Logic Program Synthesis (1993)

Cached

Download Links

by Ina Kraan , David Basin , Alan Bundy
Venue:IN 10TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP93
Citations:31 - 8 self