Dialectic proof procedures for assumption-based, admissible argumentation