@BOOK{ Book!D - 101373388,
AUTHOR = "N. Dershowitz, ed",
TITLE = "Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel  Hill, North Carolina, USA, April 3-5, 1989 : proceedings",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Computer algorithms",
URL = "/book/101373388/Rewriting-techniques-and-applications-3rd-Intern/"}