Monotonic Preorders for Free Variable Tableaux.

Pedro J. Martn, Antonio Gavilanes

Browse the full TABLEAUX paper archive.