亚历山德罗·阿曼多;恩里科·金西格里亚;马可·马拉提亚;塞雷娜·伊丽莎·蓬塔 一种基于操作的方法,用于在授权约束下对业务流程进行正式规范和自动分析。 (英语) Zbl 1238.68157号 J.计算。系统。科学。 78,第1期,119-141(2012).MSC公司:68立方英尺 90B50型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人,J.Compute。系统。科学。78,第1号,119--141(2012;Zbl 1238.68157) 全文: 内政部
恩里科·金西格里亚;尤利娅·利勒;马可·马拉提亚 基于命题可满足性的答案集编程。 (英语) Zbl 1107.68029号 J.汽车。推理 36,第4期,345-377(2006).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,J.Autom。推理36,No.4,345--377(2006;Zbl 1107.68029) 全文: 内政部