1. Lecture Notes in Computer Science;KR Apt,2006
2. van Beek, P., Chen, X.: CPlan: a constraint programming approach to planning. In: Proceedings of AAAI 1999/IAAI 1999, pp. 585–590 (1999)
3. Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Mac Lane, S., Siefkes, D. (eds.) The Collected Works of J. Richard Büchi, pp. 425–435. Springer, New York (1990). https://doi.org/10.1007/978-1-4613-8928-6_23
4. Dechter, R.: Constraint Processing. Morgan Kaufmann Publishers Inc., San Francisco (2003)
5. Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science (vol. B), pp. 995–1072. MIT Press, Cambridge (1990)