Combining Sets with Cardinals
An Effective Algorithm for the Futile Questioning Problem
A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership*
A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers