Consistency of Variable Splitting in Free Variable Systems of First-order Logic

Foredrag
16. september 2005
TABLEAUX 2005, Koblenz, Germany