Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, and Karim Tabia. Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis, On rules with existential variables: Walking the decidability line. Artif. Intell, vol.175, pp.1043-1048, 1989. ,
On supported inference and extension selection in abstract argumentation frameworks, A general datalog-based framework for tractable query answering over ontologies, vol.174, pp.334-346, 1987. ,