A tableau calculus for integrating first-order and elementary set theory reasoning (2000)

by D Cantone, C Zarba
Venue:In Proceedings of TABLEAUX’00