Bernhard Beckert Reiner Hähnle Peter H. Schmitt The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux. 108-119 1993 conf/kgc/1993 Kurt Gödel Colloquium db/conf/kgc/kgc93.html#BeckertHS93