Christian G. Fermüller Alexander Leitsch Ullrich Hustadt Tanel Tammet Resolution Decision Procedures. 1791-1849 2001 books/el/RobinsonV01 Handbook of Automated Reasoning db/books/collections/RobinsonV01.html#FermullerLHT01