Representing logic program schemata in Prolog (1995)

by T S Gegg-Harrison
Venue:Proceedings of the 12th Int. Conf. on Logic Programming