1. Abar, C.A.A.P. and M. Yamashita, Remarks on Variable Binding Term Operators.Polish Academy of Sciences, Bulletin of the Sect. of Logic, v.15,n.4,pp.145–151,1986.
2. Abar, C.A.A.P., On a Modal Paracomplete Logic. Proceedings of IPMU'92, Universitat de Les Illes Balears, Spain,pp. 333–336, 1992.
3. da Costa, N.C.A., Paraconsistent and Paracomplete Logic. Rendiconti dell'Accademia Nazionale dei Lincei, 1989.
4. da Costa, N.C.A., Calcule propositionells pour les systèmes formels inconsistants. Comptes Rendus de l'Academie des Sciences de Paris, pp.3790–3792, 1963.
5. da Costa, N.C.A. and Diego Marconi, A Note on Paracomplete Logic. Rendiconti dell'Accademia Nazionale dei Lincei, pp.504–509. 1986.