Title: Decision procedures for elementary sublanguages of set theory.  VI. Multi-level syllogistic extended by the powerset operator
First published: 1985