Acyclicity is Modular for Orthogonal TRSs


Acyclicity is shown to be a modular property of orthogonal first-order term rewriting systems (TRSs), which answers a question raised by Klop.