Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach