M. Sierra Aristizábal, «Sistema paraconsistente y paracompleto LBPcPo», Rev. U. EAFIT, vol. 43, n.º 148, pp. 91–112, may 2012.