00730cam a2200181 a 450000500170000000800410001702000150005803500150007305000210008811100730010924501750018226000370035730000110039444000490040565000530045470000160050770000250052320260818084751.0110414s1993    gw      r     100|0 eng d  a3540563938  a.b10164121 4aQA267bI578 19922 aInternational Workshop CTRSn(3rd :d1992 :cPont-a-Mousson, France)10aConditional term rewriting systems :bThird International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992 : proceedings /cM. Rusinowitch and J. L. Remy (eds.)  aBerlin :bSpringer-Verlag,c1993  a501 p. 0aLecture notes in computer science ;vno. 656 0aRewriting systems (Computer science)vCongresses1 aRemy, J. L.1 aRusinowitch, Michael