A. Corradini and S. Galvan, “A Note on Gödel’s First Disjunct Formalised in DTK System”, LLP, vol. 33, no. 4, pp. 555–565, Oct. 2024.