Some low-level source transformations for logic programs (0)

by J Gallagher, M Bruynooghe
Venue:Proceedings Meta'90, 229--244