00870cam a2200205 a 450000500170000000800410001702000150005803500150007305000210008811101160010924501700022524600110039526000370040630000110044344000490045465000530050365000580055665000270061470000230064120260818212709.0110413s1989    gw      r     100|0 eng |  a3540510818  a.b1057156500aQA267bI555 19892 aInternational Conference on Rewriting Techniques and Applicationsn(3rd :d1989 :cChapel Hill, North Carolina)10aRewriting techniques and applications :b3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings /cN. Dershowitz [ed.]30aRTA-89  aBerlin :bSpringer-Verlag,c1989  a578 p. 0aLecture notes in computer science ;vno. 355 0aRewriting systems (Computer science)vCongresses 0aElectronic digital computersxProgrammingvCongresses 0aAlgorithmsvCongresses1 aDershowitz, Nachum