Relating protocols for dynamic dispute with logics for defeasible argumentation by