1. Alur, R., Peled, R., Penczek, W.: Model checking of causality properties. In: LICS 1995, pp. 90–100. IEEE Computer Society Press, Los Alamitos (1995)
2. Büchi, J.R.: On a decision method in restricted second order arithmetics. In: Nagel, E., et al. (eds.) Proc. Intern. Congress on Logic, Methodology and Philosophy of Science, pp. 1–11. Stanford University Press, Stanford (1960)
3. Diekert, V.: A pure future local temporal logic beyond cograph-monoids. In: Ito, M. (ed.) Proc. of the RIMS Symposium on Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory, Kyoto, Japan (2002)
4. Lecture Notes in Artificial Intelligence;V. Diekert,2001
5. Diekert, V., Gastin, P.: Local temporal logic is expressively complete for cograph dependence alphabets. Tech. Rep. LIAFA, Universit´e Paris 7, France (2003),
http://www.liafa.jussieu.fr/~gastin/Articles/diegas03.html