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

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