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 )
(en) Charles Rackoff, « The covering and boundedness problems for vector addition systems », Theoretical Computer Science, vol. 6, no 2, , p. 223–231 (ISSN0304-3975, DOI10.1016/0304-3975(78)90036-1, 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 )
(en) Charles Rackoff, « The covering and boundedness problems for vector addition systems », Theoretical Computer Science, vol. 6, no 2, , p. 223–231 (ISSN0304-3975, DOI10.1016/0304-3975(78)90036-1, lire en ligne, consulté le )
(en) Charles Rackoff, « The covering and boundedness problems for vector addition systems », Theoretical Computer Science, vol. 6, no 2, , p. 223–231 (ISSN0304-3975, DOI10.1016/0304-3975(78)90036-1, lire en ligne, consulté le )