Bart Verheij Artificial argument assistants for defeasible argumentation. 291-324 2003 150 Artif. Intell. 1-2 http://dx.doi.org/10.1016/S0004-3702(03)00107-3 db/journals/ai/ai150.html#Verheij03