Decision Procedures for Elementary Sublanguages of Set Theory. XVII. Commonly Occurring Decidable Extensions of Multi-level Syllogistic
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
◽