@InCollection｛zbMATH06457607，作者＝{庞塞，奥尔本和范德兹瓦格，马克·B·}，Title={使用{Belnap}的逻辑}对{ACP}进行概括，BookTitle={“代数过程计算论文”研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1-5日}，页码={287--293}，年份={2006}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，DOI={10.1016/j.entcs.2005.12.102}，关键词={68Q85,03B50}，zbMATH={6457607}，Zbl={1316.68104}}