Conditional and typed rewriting systems :  4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : Proceedings / 
Nachum Dershowitz and Naomi Lindenstrauss (eds.) 
 - Berlin :  Springer-Verlag,  1995 
 - 373 p. 
 - Lecture notes in computer science ;  no. 968 .
<br/><br/><label>ISBN: </label>3540603816 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Rewriting systems (Computer science)--Congresses
<br/><br/><label>LC Class. No.: </label>QA267  / I578 1994