拉斐尔·卡巴列罗；马丁·马丁，恩里克；阿德里安·里斯科；萨尔瓦多塔马利特 用于声明性调试的核心Erlang语义。 （英语） 兹比尔1431.68016 J.日志。阿尔盖布。方法计划。 107, 1-37 (2019).MSC公司：68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Caballero}等人，J.Log。阿尔盖布。方法计划。107，1--37（2019年；Zbl 1431.68016） 全文： 内政部
大卫·英莎；乔塞普·席尔瓦 算法调试概述。 （英语） Zbl 1395.68094号 J.日志。阿尔盖布。方法计划。 97, 85-104 (2018).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Insa}和\textit{J.Silva}，J.Log。阿尔盖布。方法计划。97、85——104（2018；Zbl 1395.68094） 全文： 内政部 链接
大卫·英莎；乔塞普·席尔瓦 算法调试的通用模型。 （英语） Zbl 1473.68045号 Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。9527, 261-276 (2015).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Insa}和\textit{J.Silva}，莱克特。票据计算。科学。9527、261--276（2015年；Zbl 1473.68045） 全文： 内政部 链接
阿德里安·里斯科；阿尔贝托·维尔德乔；马丁·奥列特，纳西索；拉斐尔·卡巴列罗 重写逻辑规范的声明性调试。 （英语） Zbl 1279.68220号 J.日志。阿尔盖布。程序。 81，编号7-8，851-897（2012）.MSC公司：60年第68季度 03B70号 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}等人，J.Log。阿尔盖布。程序。81、编号7--8、851--897（2012；Zbl 1279.68220） 全文： 内政部
拉斐尔·卡巴列罗；马丁·奥列特，纳西索；阿德里安·里斯科；阿尔贝托·维尔德乔 Maude功能模块的声明式调试器。 （英语） Zbl 1347.68073号 Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，63-81（2009）。MSC公司：68号30 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Caballero}等人，《电子》。注释Theor。计算。科学。238，第3号，63--81（2009；Zbl 1347.68073） 全文： 内政部
拉斐尔·德尔瓦多·维塞达 用于在声明性约束编程中调试的逻辑框架。 （英语） 兹比尔1291.68151 Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第四次研讨会论文集》（LSFA 2009），巴西巴西利亚，2009年8月28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记256，119-135（2009）。MSC公司：68号30 68N17号 68甲18 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.del Vado Vírseda}，电子。注释Theor。计算。科学。256119-135（2009年；Zbl 1291.68151） 全文： 内政部
艾德里安·里斯科；阿尔贝托·维尔德乔；拉斐尔·卡巴列罗；马丁·奥列特，纳西索 重写逻辑规范的声明性调试。 （英语） 兹比尔1253.68097 Corradini，Andrea（编辑）等人，代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03428-2/pbk）。计算机科学课堂讲稿5486，308-325（2009）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}等人，Lect。票据计算。科学。5486、308--325（2009年；Zbl 1253.68097） 全文： 内政部
拉斐尔·卡巴列罗；马丁·奥列特，纳西索；阿德里安·里斯科；阿尔贝托·维尔德乔 成员关系等式逻辑规范的声明性调试。 （英语） Zbl 1143.68363号 Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。在乌戈·蒙塔纳里65岁生日之际献给他的散文。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065174-193（2008）。MSC公司：68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Caballero}等人，Lect。票据计算。科学。5065174--193（2008年；Zbl 1143.68363） 全文： 内政部