Henk Barendregt
Y. Toyama, Jan Willem Klop, and H. P. Barendregt.
Termination for direct sums of left-linear complete term rewriting systems.
Journal of the ACM
, 42(6):1275-1304, November 1995.
References, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database