1. Baldan, P., Corradini, A., König, B., LLuch Lafuente, A.: A temporal graph logic for abstractions of graph rewrite systems. Draft (2005)
2. Basin, D.A., Matthews, S., Vigano, L.: Labelled modal logics: Quantifiers. Journal of Logic, Language and Information 7(3), 237–263 (1998)
3. Bojanczyk, M., David, C., Muscholl, A., Schwentick, T., Segoufin, L.: Two-variable logic on words with data. Research Report 2005-004, LIAFA — Laboratoire d’Informatique Algorithmique: Fondements et Applications (2005)
4. Castellini, C., Smaill, A.: A modular, tactic-based approach for first-order temporal theorem proving. In: International Conference on Temporal Logic (ICTL) (2000)
5. Lecture Notes in Artificial Intelligence;C. Castellini,2005