Logic program synthesis (1994)

by Y Deville, K-K Lau
Venue:J. Log. Program