G. Amendola, C. Dodaro, W. Faber, N. Leone, and F. Ricca, “On the Computation of Paracoherent Answer Sets”, AAAI, vol. 31, no. 1, Feb. 2017.