1. Amendola, G. , Leone, N. , and Manna, M. 2018. Finite controllability of conjunctive query answering with existential : Two steps forward. In IJCAI. 5189–5193.
2. Calimeri, F. , Perri, S. , and Zangari, J. 2019. Optimizing answer set computation via heuristic-based decomposition. TPLP, 1–26.
3. Gelfond, M. and Lifschitz, V. 1991a. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9, 3/4, 365–385.
4. Alviano, M. , Calimeri, F. , Dodaro, C. , Fuscà, D. , Leone, N. , Perri, S. , Ricca, F. , Veltri, P. , and Zangari, J. 2017. The ASP system DLV2. In Proc. of LPNMR. LNCS, vol. 10377. 215–221.
5. I-DLV: the new intelligent grounder of DLV;Calimeri;Intelligenza Artificiale 11,2017