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

Roger Antonsen, Arild Waaler

Browse the full TABLEAUX paper archive.