I. Hodkinson, R. Kontchakov, A. Kurucz et F. Wolter, «On the computational complexity of decidable fragments of first-order linear temporal logics», 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings, , p.91–98 (DOI10.1109/TIME.2003.1214884, lire en ligne, consulté le )
I. Hodkinson, R. Kontchakov, A. Kurucz et F. Wolter, «On the computational complexity of decidable fragments of first-order linear temporal logics», 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings, , p.91–98 (DOI10.1109/TIME.2003.1214884, lire en ligne, consulté le )