Matti Nykänen Satu Eloranta Olli Niinivaara Raul Hakli Cooperative Replies to Unbelievable Assertions - A Dialogue Protocol based on Logical Interpolation. 245-250 2011 ICAART (2) conf/icaart/2011-2 db/conf/icaart/icaart2011-2.html#NykanenENH11