A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning.

Domenico Cantone, Calogero G. Zarba

Browse the full TABLEAUX paper archive.