马塞洛·索萨;塞萨尔·罗德里格斯;维杰·德·席尔瓦;丹尼尔·克罗宁 用展开进行抽象解释。 （英语） Zbl 1494.68044号 Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10427, 197-216 (2017).MSC公司：68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Sousa}等人，Lect。注释计算。科学。10427，197--216（2017；Zbl 1494.68044） 全文： 内政部 arXiv公司
塞萨尔·罗德里格斯;马塞洛·索萨;沙尔马，苏博德;丹尼尔·克罗宁 基于展开的部分顺序约简。 （英语） Zbl 1374.68342号 Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，456-469（2015）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Rodríguez}等人，LIPIcs——莱布尼茨国际程序。通知。42、456--469（2015年；Zbl 1374.68342） 全文： 内政部 arXiv公司