E. Marakakis;John P. Gallagher
-;-
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)