M. Carrara and E. Martino, “A Note on Gödel, Priest and Naïve Proof”, LLP, vol. 30, no. 1, pp. 79–96, Oct. 2020.