@集合{Setzer12，title={作为由其消除规则确定的类型的余代数}，作者={安东·塞泽尔}，年份={2012}，doi={10.1007/978-94-007-4435-6_16}，网址={http://dx.doi.org/10.1007/978-94-007-4435-6_16},研究人员={https://researchr.org/publication/Setzer12},引用={0}，引用者={0}，页码={351-369}，booktitle={认识论vs.本体论-佩尔·马丁·洛夫的哲学和数学基础论文，editor={彼得·戴比耶（Peter Dybjer）、斯坦·林德斯特伦（Sten Lindström）、埃里克·帕尔姆格伦（Erik Palmgren）和戈兰·桑德霍尔姆（Göran Sundholm}），体积={27}，系列={逻辑、认识论和科学的统一}，publisher={Springer}，isbn={978-94-007-4435-6}，}