Leila Amgoud Sihem Belabbes Henri Prade A Formal General Setting for Dialogue Protocols. 13-23 2006 conf/aimsa/2006 AIMSA http://dx.doi.org/10.1007/11861461_4 db/conf/aimsa/aimsa2006.html#AmgoudBP06