A. Mesquita Neto, “Proofs by Reductio ad Impossibile in Aristotle’s Prior Analytics”, J. anc. philos. (Engl. ed.), vol. 15, no. 2, pp. 53–76, Oct. 2021, doi: 10.11606/issn.1981-9471.v15i2p53-76.