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

by J Gallagher, M Bruynooghe
Venue:Department of Computer Science, KU