@InCollection{zbMATH1405889,作者={Gabbay,Dov M.和Governatori,Guido},标题={处理标签相关道义模式},BookTitle={规范、逻辑和信息系统。道义逻辑和计算机科学的新研究。第四届(Delta)EON研讨会论文集,意大利博洛尼亚,1998年1月8日至10日},ISBN={90-5199-427-3;4-274-90260-9},页码={311--330},年份={1999},Publisher={阿姆斯特丹:IOS出版社;东京:Ohmsha},语言={英语},关键词={03B45.03A05},zbMATH={1405889},Zbl={0940.03023}}