@BOOK{ Book!D - 100981585,
AUTHOR = "/ B. Benninghofen, S. Kemmerich, M.M. Richter",
TITLE = "Systems of reductions",
LIBRARY= "كتابخانه پردیس علوم (دانشگاه تهران)",
SUBJECT = "Rewriting systems (Computer science),Algebra, Universal -- Data processing,Computer algorithms",
URL = "/book/100981585/Systems-of-reductions/"}