Title: Decision procedures for elementary sublanguages of set theory.  X. Multilevel syllogistic extended by the singleton and powerset operators
First published: 1988