Conditional term rewriting systems - Rusinowitch, M. (Michael); Rémy, J. L. (Lecture notes in computer science, 1993)