G. Amendola, C. Dodaro, W. Faber, and F. Ricca, “Externally Supported Models for Efficient Computation of Paracoherent Answer Sets”, AAAI, vol. 32, no. 1, Apr. 2018.