"On the logic of cooperation and propositional control."

Wiebe van der Hoek, Michael J. Wooldridge (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics