1. Amgoud, L., Bodenstaff, L., Caminada, M., McBurney, P., Parsons, S., Prakken, H., Van Veenen, J., Vreeswijk, G.: Final review and report on formal argumentation system. Deliverable D2 (2006)
2. Amgoud, L., Besnard, P., Vesic, S.: Equivalence in logic-based argumentation. J. Appl. Non Class. Logics 24(3), 181–208 (2014)
3. Baget, J.-F., Leclère, M., Mugnier, M.-L., Salvat, E.: On rules with existential variables: walking the decidability line. Artif. Intell. 175(9–10), 1620–1654 (2011)
4. Baget, J.-F., Gutierrez, A., Leclère, M., Mugnier, M.-L., Rocher, S., Sipieter, C.: Datalog+, RuleML and OWL 2: formats and translations for existential rules. In: Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based Recommender Systems for the Web of Data, the Special Industry Track and the RuleML 2015 Doctoral Consortium hosted by the 9th International Web Rule Symposium (RuleML 2015), Berlin, Germany, 2–5 August 2015 (2015a)
5. Baget, J.-F., Gutierrez, A., Leclère, M., Mugnier, M.-L., Rocher, S., Sipieter, C.: DLGP: an extended Datalog Syntax for Existential Rules and Datalog+/- Version 2.0, June 2015 (2015b)