阿不因，亚历克斯；亚历山大·博洛托夫；迪亚斯，德·塞里奥·乌奈；蒙特塞拉特赫莫；帕基·卢西奥 使用一次通过表格对PLTL进行认证模型检查。 （英语） 兹比尔1515.68171 Gamper，Johann（编辑）等人，第26届时间表征和推理国际研讨会，《时代》2019年。2019年10月16日至19日，西班牙马拉加。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。147，第12条，第18页（2019）。MSC公司：第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Abuin}等人，LIPIcs——莱布尼茨国际程序。通知。147，第12条，第18页（2019年；Zbl 1515.68171） 全文： 内政部
Jose Gaintzarain；帕基·卢西奥 更具表现力的声明式时序逻辑编程语言的逻辑基础。 （英语） Zbl 1353.68035号 ACM事务处理。计算。日志。 第14号第4条第28条第41页（2013年）.MSC公司：68N17号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gaintzarain}和\textit{P.Lucio}，美国医学会Trans。计算。日志。14，第4号，第28条，第41页（2013；Zbl 1353.68035） 全文： 内政部
Jose Gaintzarain；蒙特塞拉特赫莫；帕基·卢西奥；玛丽莎·纳瓦罗；费尔南多·奥雷贾斯 无不变子句时间解析。 （英语） Zbl 1408.03006号 J.汽车。推理 50，第1期，1-49页（2013年）.MSC公司：03B35型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gaintzarain}等人，J.Autom。推理50，No.1，1-49（2013；Zbl 1408.03006） 全文： 内政部