F.: Dialectical proof procedures for assumption-based admissible argumentation (2006)

by P Dung, R Kowalski, Toni
Venue:Artificial Intelligence