Using Prolog Techniques to Guide Program Composition (1995)

by M Vargas-Vera