Title: Decision procedures for elementary sublanguages of set theory.  XI. Multilevel syllogistic extended by some elementary map constructs
First published: 1988