Øhrstrøm, P. (1995). Temporal logic: From ancient ideas to artificial intelligence. Kluwer.
Chicago-Zitierstil (17. Ausg.)Øhrstrøm, Peter. Temporal Logic: From Ancient Ideas to Artificial Intelligence. Dordrecht [u.a.]: Kluwer, 1995.
MLA-Zitierstil (9. Ausg.)Øhrstrøm, Peter. Temporal Logic: From Ancient Ideas to Artificial Intelligence. Kluwer, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.