Rules and Strategies for Transforming Functional and Logic Programs (1996)

by A. Pettorossi, M. Proietti, R. Dicembre
Venue:ACM Computing Surveys