Conditional term rewriting systems 1. internat. workshop proceedings, Orsay, France, July 8 - 10, 1987 (Springer, 1988)
Literaturangaben