@inproceedings{cfb9098bbb0b45a1a74b19ed2c9e7515,
title = "Termination for the direct sum of left-linear term rewriting systems: Preliminary draft",
abstract = "The direct sum of two term rewriting systems is the union of systems having disjoint sets of function symbols. It is shown that two term rewriting systems both are left-linear and complete if and only if the direct sum of these systems is so.",
author = "Yoshihito Toyama and Klop, {Jan Willem} and Barendregt, {Hendrik Pieter}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1989.; 3rd International Conference on Rewriting Techniques and Applications, RTA 1989 ; Conference date: 03-04-1989 Through 05-04-1989",
year = "1989",
doi = "10.1007/3-540-51081-8_127",
language = "English",
isbn = "9783540510819",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "477--491",
editor = "Nachum Dershowitz",
booktitle = "Rewriting Techniques and Applications - 3rd International Conference, RTA 1989",
}