Logic Program Synthesis from Incomplete Specifications (1993)

Cached

Download Links

by Pierre Flener , Yves Deville
Venue:JOURNAL OF SYMBOLIC COMPUTATION: SPECIAL ISSUE ON AUTOMATIC PROGRAMMING
Citations:56 - 18 self