C. I. Chesñevar, “Formalizing processes in defeasible argumentation using labeled deductive systems”, JCS&T, vol. 1, no. 05, p. 3 p., Oct. 2001.