Tanel Tammet Resolution, Inverse Method and the Sequent Calculus. 65-83 1997 conf/kgc/1997 Kurt Gödel Colloquium db/conf/kgc/kgc97.html#Tammet97