H. de A. Feitosa, R. A. de Freitas, e M. R. Soares, “Dois Sistema dedutivos para a Lógica PM4N”, Intermaths, vol. 3, nº 2, p. 38-55, dez. 2022.