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

by A Pettorossi, M Proietti
Venue:ACM Computing Surveys