Decision procedures for elementary sublanguages of set theory. XI: Multilevel syllogistic extended by some elementary map constructs (1991)

by D Cantone, J T Schwartz
Venue:Journal of Automated Reasoning