Corradini, A., and S. Galvan. “Analysis of Penrose’s Second Argument Formalised in DTK System”. Logic and Logical Philosophy, vol. 31, no. 3, Dec. 2021, pp. 471-00, doi:10.12775/LLP.2021.019.