A. Corradini and S. Galvan, “Analysis of Penrose’s Second Argument Formalised in DTK System”, LLP, vol. 31, no. 3, pp. 471–500, Dec. 2021.