%0 Book
%A Nachum Dershowitz, Naomi Lindenstrauss )eds.(
%T Conditional and typed rewriting systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 : proceedings
%U /book/101372456/Conditional-and-typed-rewriting-systems-4th-Inte/