Toyama, Y., Klop, J. W., & Barendregt, H. P. (1989). Termination for direct sums of left-linear complete term rewriting systems.
Chicago-Zitierstil (17. Ausg.)Toyama, Yoshihito, Jan Willem Klop, und Hendrik P. Barendregt. Termination for Direct Sums of Left-linear Complete Term Rewriting Systems. Amsterdam, 1989.
MLA-Zitierstil (9. Ausg.)Toyama, Yoshihito, et al. Termination for Direct Sums of Left-linear Complete Term Rewriting Systems. 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.