@第{zbMATH01416505条，作者={古罗夫、迪利安和卡普伦、布鲁斯}，标题={关于最小定点公式的负标记的注释}，FJournal={RAIRO.理论信息学与应用}，日志={Theor.Inform.Appl.}，ISSN={0988-3754}，体积＝{33}，数字={4-5}，页码={383--392}，年份={1999}，语言={英语}，DOI={10.1051/ita:1999124}，关键词={03B70,68Q60,03F07,68Q85,03B44}，zbMATH={1416505}，Zbl={0940.03034}}