Bachmair,Leo (ed.) Rewriting techniques and applications / Bachmair,Leo (ed.). - 11th international c - Berlin: Springer, 2000. - x,273p;23cm - Lecture notes in computer science;No-1833 . Includes bibliographical references. ISBN: 354067778x Dewey Class. No.: 004.Lec