Springer
Lecture Notes in Computer Science
International Conference on Conditional and Typed Rewriting Systems
Specification and Analysis of Embedded Systems

Klop, J. W., & de Vrijer, R. (1991). Extended term rewriting systems. In Proceedings of Conditional and typed rewriting systems 1990 (pp. 26–50). Springer.