1. Baader, F., Marantidis, P., Mottet, A., Okhotin, A.: Extensions of unificationmodulo ACUI. Math. Struct. Comput. Sci. 1–30 (2019)
2. Baader, F., Narendran, P.: Unification of concept terms. In: Proceedings of the 11th International Workshop on Unification, UNIF-97, LIFO. Technical Report 97–98 (2001)
3. Gabbay D.M., Hodkinson I.M.: An axiomatization of the temporal logic with until and since over the real numbers. J. Logic Comput. 1, 229–260 (1990)
4. Venema, Y.: Temporal logic. In: Lou, G. (ed.) The Blackwell Guide to Philosophical Logic. Blackwell (2001)
5. Ohrstrom, P., Per, F.V.H.: Temporal Logic: From Ancient Ideas to Artificial Intelligence. Springer (1995)