Rolando Medellin, Katie Atkinson, Peter McBurney. Model Checking Command Dialogues. In The Uses of Computational Argumentation, Papers from the 2009 AAAI Fall Symposium, Arlington, Virginia, USA, November 5-7, 2009. Volume FS-09-06 of AAAI Technical Report, AAAI, 2009. [doi]