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. Proceedings of Conditional and Typed Rewriting Systems 1990, 26–50.