@第{zbMATH06320765条,作者={Clausen、Christian和Danvy、Olivier和Masuko、Moe},标题={对{莫斯纳}筛}的表征,FJournal={理论计算机科学},期刊={Theor.Comput.Sci.},ISSN={0304-3975},体积={546},页码={244--256},年份={2014},语言={英语},DOI={10.1016/j.tcs.2014.03.012},关键词={11B83,11N35,68T15},zbMATH={6320765},Zbl={1417.11020}}