Towards Depth-bounded Natural Deduction for Classical First-order Logic. - Marcello D'Agostino; Costanza Larese; Sanjay Modgil (FLAP, 2021)

Advancing the Boundaries of Formal Argumentation: Reflections on the AI3 2021 Special Issue. - Marcello D'Agostino; Fabio Aurelio D'Asaro; Costanza Larese (FLAP, 2023)