拉斐尔·卡巴列罗;恩里克·马丁·马汀;阿德里安·里斯科;萨尔瓦多塔马利特 用于声明性调试的核心Erlang语义。 （英语） Zbl 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 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-8851-897（2012年；兹bl 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） 全文： 内政部
艾德里安·里斯科;阿尔贝托·维尔德乔;拉斐尔·卡巴列罗;马丁·奥列特，纳西索 重写逻辑规范的声明性调试。 （英语） Zbl 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） 全文： 内政部