A Free Variable Sequent Calculus with Uniform Variable Splitting.

Arild Waaler, Roger Antonsen

Browse the full TABLEAUX paper archive.