Propositional and predicate calculus a model of argument (Springer, 2005)