000 00830nam a2200265Ia 4500
003 OSt
005 20220912144908.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a72845
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aD65,8(B):(P)p1,N89, M9
100 _aDershowtiz N Ed.
111 _aInternational conference on rewriting techniques and applications (1989 : North Carolina)
245 0 _aProceeding on rewriting techniques and applications
260 _aBerlin
_bSpringer-Verlag
_c1989
300 _a578p.
_ccm.
490 _aLecture notes in computer science; 355
650 _aComputer science
942 _hD65,8(B):(P)p1,N89, M9
_cTEXL
_2CC
999 _c18472
_d18472