Source-to-Source Transformations of Logic Programs (1984)

by C Bloch