The Paraconsistent Logics PJ. - Newton C. A. da Costa; V. S. Subrahmanian; Carlo Vago (Math. Log. Q., 1991)

WFS + Branch and Bound = Stable Models. - V. S. Subrahmanian; Dana S. Nau; Carlo Vago (IEEE Trans. Knowl. Data Eng., 1995)