2010. On Reconstructing Proofs in Paraconsistent Mathematics. The Reasoner. 4, 4 (Apr. 2010).