TY - BOOK ID - 127953532 TI - The resolution calculus PY - 1997 SN - 3540618821 PB - Berlin : Springer, DB - UniCat KW - Automatic theorem proving. UR - https://www.unicat.be/uniCat?func=search&query=sysid:127953532 AB - ER -