TY - GEN AU - Chesñevar,Carlos Iván TI - Modeling argumentation with labeled deduction: Formalization and theoretical considerations ER -