莱昂纳德·博尔克（编辑）;斯扎·阿斯（Szałas）、安德烈吉（Andrzej）（编辑） 时间和逻辑：一种计算方法。 （英语） Zbl 0849.03011号 伦敦：伦敦大学出版社。viii，第325页（1995年）。 审核人：U.Hahn（弗赖堡i.Br.） MSC公司：03B45号 03B70号 03-06 68-06 00时25分 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bolc}（编辑）和\textit{A.Szałas}（主编），时间与逻辑：一种计算方法。伦敦：伦敦大学出版社（1995；Zbl 0849.03011）
安德烈·萨拉斯 关于一阶时序逻辑中的语义结果关系。 （英语） Zbl 0622.03012号 西奥。计算。科学。 47, 329-334 (1986). 审核人：H.西村 MSC公司：03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \文本{A.Szalas}，Theor。计算。科学。47、329--334（1986年；Zbl 0622.03012） 全文： DOI程序