H. de A. Feitosa, G. A. da Cruz, e A. C. de J. Golzio, “Um novo sistema de axiomas para a l´ogica paraconsistente J3”, C. Q. D., vol. 4, nov. 2022.