Decision procedures for elementary sublanguages of set theory. II: Formulas involving restricted quantifiers together with ordinal, integer, map, and domain notions

M. BREBAN

A. FERRO

OMODEO, EUGENIO

J. T. SCHWARTZ