Academic Press
Journal of Symbolic Computation
Specification and Analysis of Embedded Systems

Kennaway, R., Klop, J. W., Sleep, R., & de Vries, F.-J. (1996). Comparing curried and uncurried rewriting. Journal of Symbolic Computation, 21(1), 15–39.