A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models.

Nicolas Peltier

Browse the full TABLEAUX paper archive.