Gerhard Brewka Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus. 257-282 2001 11 J. Log. Comput. 2 http://www3.oup.co.uk/logcom/hdb/Volume_11/Issue_02/110257.sgm.abs.html db/journals/logcom/logcom11.html#Brewka01