Author: International Workshop on Conditional Term Rewriting Systems (3rd 1992 Pont-à-Mousson, France)