Some low-level transformations for logic programs (1990)

by J Gallagher, M Bruynooghe
Venue:Proceedings of Meta90 Workshop on Meta Programming in Logic