@第{zbMATH00935190条，作者={Kupferman，Orna和Grumberg，Orna}，Title={买一送一！！！}，FJournal={逻辑与计算杂志}，日志={J.Log.Comput.}，ISSN={0955-792X}，体积={6}，数字={4}，页码={523--539}，年份={1996}，语言={英语}，DOI={10.1093/logcom/6.4.523}，关键词={03B45.03B70}，zbMATH={935190}，Zbl={0857.03009}}