@第{zbMATH06473007条，作者={Bujtor，Ferenc和Vogler，Walter}，标题={接口自动机中的错误修剪}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={597}，页码={18--39}，年份={2015年}，语言={英语}，DOI={10.1016/j.tcs.2015.06.047}，关键词={68Q85,68Q45}，zbMATH={6473007}，Zbl={1328.68136}}