Talk
September 16, 2005
TABLEAUX 2005, Koblenz, Germany

Consistency of Variable Splitting in the Free Variable Systems of First-Order Logic

Presentation of the paper Consistency of Variable Splitting in Free Variable Systems of First-Order Logic under Automated Reasoning with Analytic Tableaux and Related Methods 2005.