爱德米拉·巴萨雷拉;费尔南多·奥雷贾斯;埃尔维拉·皮诺;玛丽莎·纳瓦罗 结构化正常逻辑程序的语义。 (英语) Zbl 1279.68190号 J.日志。阿尔盖布。程序。 81,第5期,559-584(2012).MSC公司:68问题55 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{E.Pasarella}等人,J.Log。阿尔盖布。程序。81,第5号,559--584(2012;Zbl 1279.68190) 全文: DOI程序 链接
Jose Gaintzarain;蒙特塞拉特赫莫;帕基,卢西奥;玛丽莎·纳瓦罗;费尔南多·奥雷贾斯 PLTL的表和序列的双重系统。 (英语) Zbl 1183.68596号 J.日志。阿尔盖布。程序。 78,第8号,701-722(2009).MSC公司:68T27型 68吨15 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gaintzarain}等人,J.Log。阿尔盖布。程序。78,第8号,701--722(2009;Zbl 1183.68596) 全文: DOI程序