1. Aldewereld, H., Grossi, D., Vazquez-Salceda, J., Dignum, F.: Designing normative behaviour by the use of landmarks. In: Agents, Norms and Institutions for Regulated Multiag. Syst., Utrecht, The Netherlands (July 2005)
2. Lecture Notes in Artificial Intelligence;J. Broersen,2004
3. Dixon, C., Mc Cabe-Dansted, J.C.: Resolution for a temporal logic of robustness (extended version). Technical Report ULCS-08-002, University of Liverpool, Department of Computer Science (2008), http://www.csc.liv.ac.uk/research/techreports/
4. Allen Emerson, E., Halpern, J.Y.: Decision procedures and expressiveness in the temporal logic of branching time. In: STOC, pp. 169–180. ACM, New York (1982)
5. Emerson, E.A., Sistla, A.P.: Deciding branching time logic. In: STOC 1984: Proc. 16th annual ACM sympos. on Theory of computing, pp. 14–24. ACM Press, New York (1984)