a.c.m
Journal of the Association for Computing Machinery
Specification and Analysis of Embedded Systems

Toyama, Y., Klop, J. W., & Barendregt, H. (1995). Termination for direct sums of left-linear complete term rewriting systems. Journal of the Association for Computing Machinery, 42(6), 1275–1304.