J. Czerniawski, “Time and Physical Geometry. A Formalization of Putnam’s Proof”, LLP, vol. 29, no. 1, pp. 97–114, Jun. 2019.