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

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