Tekstiviesti: Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings / M. Rusinowitch, J.L. Rémy (eds.).