Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings

Michaël Rusinowitch Jean-Luc Remy Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings CTRS Lecture Notes in Computer Science 656 Springer 1993 3-540-56393-8 db/conf/ctrs/ctrs92.html