Title: Some decidability results on quantified sublanguages of set theory
First published: 1988