Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions
1980 ◽
Vol 33
(5)
◽
pp. 599-608
◽
1985 ◽
Vol 38
(5)
◽
pp. 549-571
◽
1987 ◽
Vol 40
(1)
◽
pp. 37-77
◽
2002 ◽
Vol 3
(1)
◽
pp. 125-128
1988 ◽
Vol 41
(1)
◽
pp. 105-120
◽