Conditional term rewriting systems :  Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992 : proceedings / 
M. Rusinowitch and J. L. Remy (eds.) 
 - Berlin :  Springer-Verlag,  1993 
 - 501 p. 
 - Lecture notes in computer science ;  no. 656 .
<br/><br/><label>ISBN: </label>3540563938 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Rewriting systems (Computer science)--Congresses
<br/><br/><label>LC Class. No.: </label>QA267  / I578 1992