Wiebe van der Hoek Michael Wooldridge On the logic of cooperation and propositional control. 81-119 2005 164 Artif. Intell. 1-2 http://dx.doi.org/10.1016/j.artint.2005.01.003 db/journals/ai/ai164.html#HoekW05