“On Reconstructing Proofs in Paraconsistent Mathematics”. The Reasoner, vol. 4, no. 4, Apr. 2010, https://test-ojs-unimi-it.archicoop.it/index.php/thereasoner/article/view/25758.