Springer
Lecture Notes in Computer Science
International Conference on Rewriting Techniques and Applications

Middeldorp, A., & Toyama, Y. (1991). Completeness of combinations of constructor systems. In Proceedings of the 4th Internatonal Conference Rewriting Techniques and Applications 1991 (4) (pp. 188–199). Springer.