卢卡斯·扎瓦利亚;利迪亚·切尔尼戈夫斯卡娅;格里戈里·费迪尤科维奇 求解代数数据类型上的约束Horn子句。 （英语） Zbl 1529.68167号 Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 341-365 (2023).MSC公司：60年第68季度 03B70型 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{L.Zavalía}等人，Lect。注释计算。科学。13881341--365（2023年；Zbl 1529.68167） 全文： 内政部
格里戈里·费迪尤科维奇;吉登·恩斯特 递归证明中的桥接数组和ADT。 （英语） Zbl 1474.68048号 Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12652, 24-42 (2021).MSC公司：68号30 03B70型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Fedyukovich}和\textit{G.Ernst}，莱克特。注释计算。科学。12652，24-42（2021；Zbl 1474.68048） 全文： 内政部 OA许可证