Representing Logic Program Schemata in λ-Prolog (1995)

by T S Gegg-Harrison
Venue:Procs. Twelfth InternationalConference on Logic Programming 1995