Decision Procedures for Stratified Set-Theoretic Syllogistics.

Domenico Cantone, Vincenzo Cutello

Browse the full ISSAC paper archive.