Academic Press
Information and Computation

Middeldorp, A. (1993). Modular properties of conditional term rewriting systems. Logic in computer science. Information and Computation, 104(1), 110–158.