Corradini, A.; Galvan, S. Analysis of Penrose’s Second Argument Formalised in DTK System. LLP 2021, 31, 471-500.