Some Low-Level Source Transformations for Logic Programs (1990)

by John Gallagher, Maurice Bruynooghe
Venue:in Proceedings of Meta90 Workshop on Meta Programming in Logic