@第{zbMATH04213951条，作者={Cantone，D.和Schwartz，J.T.}，标题={集合论基本子语言的决策过程：{XI}。{多级}由一些初等映射结构扩展的三段论}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={7}，数字={2}，页码={231--256}，年份={1991年}，语言={英语}，关键词={03B25,03E99,68Q60}，zbMATH={4213951}，Zbl={0734.03004}}