Nachum Dershowitz Naomi Lindenstrauss Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings CTRS Lecture Notes in Computer Science 968 Springer 1995 3-540-60381-6 db/conf/ctrs/ctrs94.html