Free Variable Tableaux for a Logic with Term Declarations.

Pedro J. Martn, Antonio Gavilanes, Javier Leach

Browse the full TABLEAUX paper archive.