彼得里克·马雷蒂奇（Petric Maretić，Grgur）;穆罕默德·托拉比·达什蒂;戴维·巴恩斯 锚定LTL分离。 （英语） Zbl 1394.03034号 2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第74号论文，第9页（2014年）。MSC公司：03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Petric Maretić}等人，in：第二十三届EACSL计算机科学逻辑年会联合会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第74号论文，第9页（2014；Zbl 1394.03034） 全文： 内政部
彼得·马雷蒂奇，格鲁;穆罕默德·托拉比·达什蒂;戴维·巴恩斯 LTL在拓扑闭包下是闭合的。 （英语） Zbl 1296.68097号 信息处理。莱特。 114，第8期，408-413（2014）.MSC公司：65年第68季度 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Petric Maretić}等人，《Inf.Process》。莱特。114，第8号，408--413（2014；Zbl 1296.68097） 全文： 内政部