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

by P M Dung, R A Kowalski, F Toni
Venue:Artificial Intelligence,