S. Kovač, “First-order belief and paraconsistency”, LLP, vol. 18, no. 2, pp. 127–143, Nov. 2009.