Contents of the Proceedings of the
4th (and last) International Workshop on Conditional Term Rewriting Systems.
Jerusalem, Israel, July 13-15, 1994.
Lecture Notes in Computer Science, Vol. 968, Springer Verlag.

Editor: Nachum Dershowitz.