Jarred McGinnis David Robertson Chris Walton Protocol synthesis with dialogue structure theory. 1329-1330 2005 conf/atal/2005 AAMAS http://doi.acm.org/10.1145/1082473.1082757 db/conf/atal/aamas2005.html#McGinnisRW05