Koji Iwanuma Katsumi Inoue Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments. 149-162 2002 conf/clima/2002 CLIMA III db/conf/clima/clima2002.html#IwanumaI02