P. Øhrstrøm, M. Prior, A. M. Müller, and D. Jakobsen, “A.N. Prior’s development and presentation of tense-logic and its context in June-August 1954”, LogicPhilTime, vol. 6, no. 1, Jan. 2025.