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

Talk
September 16, 2005
TABLEAUX 2005, Koblenz, Germany