Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux.

Antonio Gavilanes, Javier Leach, Pedro J. Martn, Susana Nieva

Browse the full AISC paper archive.