Rules and strategies for transforming functional and logic programs (1996)

by A Pettorossi, M Proietti
Venue:ACM Computing Surveys