@收款{zbMATH07631451，作者={Cao，Qinxiang and Cuellar，Santiago and Appel，Andrew W.}，标题={为分离逻辑丛林带来秩序}，BookTitle={编程语言和系统。第15届亚洲研讨会，2017年APLAS，中国苏州，2017年11月27日至29日。诉讼}，国际标准图书编号={978-3-319-71236-9；978-3-3169-71237-6}，页码={190--211}，年份={2017年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-71237-6_10}，关键词={03B70,03G25}，zbMATH={7631451}，Zbl={1503.03034}}