Title: Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator
First published: 1984