萨尔瓦多卢卡斯 条件重写系统和广义项重写系统的局部汇合。 （英文） Zbl 07803178号 J.日志。阿尔盖布。方法计划。 136，文章ID 100926，23 p.（2024）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}，J.Log。阿尔盖布。方法计划。136，文章ID 100926，23 p.（2024；Zbl 07803178） 全文： 内政部
劳尔·古铁雷斯;萨尔瓦多卢卡斯 自动证明和反驳可行性条件。 （英文） Zbl 07614688号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第二部分。查姆：斯普林格。勒克特。注释计算。科学。12167, 416-435 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Gutiérrez}和\textit{S.Lucas}，莱克特。注释计算。科学。12167416--435（2020；Zbl 07614688） 全文： 内政部
萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 条件重写系统的2D依赖项对框架。二： 先进的处理器和实现技术。 （英文） Zbl 1459.68092号 J.汽车。推理 64，第8期，1611-1662（2020）.MSC公司：2012年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}等人，J.Autom。推理64，No.8，1611--1662（2020；Zbl 1459.68092） 全文： 内政部
劳尔·古铁雷斯;萨尔瓦多卢卡斯 使用AGES自动生成逻辑模型。 （英文） Zbl 07178982号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11716, 287-299 (2019).MSC公司：68伏15 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Gutiérrez}和\textit{S.Lucas}，莱克特。注释计算。科学。11716、287--299（2019；Zbl 07178982） 全文： 内政部