Øhrstrøm, P., & Hasle, F. V. P. (1995). Temporal Logic: From Ancient Ideas to Artificial Intelligence. Springer Netherlands.
Chicago Style (17th ed.) CitationØhrstrøm, Peter, and F. V. Per Hasle. Temporal Logic: From Ancient Ideas to Artificial Intelligence. Dordrecht: Springer Netherlands, 1995.
MLA (8th ed.) CitationØhrstrøm, Peter, and F. V. Per Hasle. Temporal Logic: From Ancient Ideas to Artificial Intelligence. Springer Netherlands, 1995.
Warning: These citations may not always be 100% accurate.