@BOOK{ Book!D - 101372689,
AUTHOR = "Wayne Snyder",
TITLE = "A proof theory for general unification",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "، Automatic theorem proving",
URL = "/book/101372689/A-proof-theory-for-general-unification/"}