Stéphane Kaplan Jean-Pierre Jouannaud Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings CTRS Lecture Notes in Computer Science 308 Springer 1988 3-540-19242-5 db/conf/ctrs/ctrs87.html