Simon Ambler A Categorial Approach to the Semantics of Argumentation. 167-188 1996 6 Mathematical Structures in Computer Science 2 db/journals/mscs/mscs6.html#Ambler96