Nicolas Troquard Wiebe van der Hoek Michael Wooldridge A logic of propositional control for truthful implementations. 237-246 2009 TARK http://doi.acm.org/10.1145/1562814.1562846 conf/tark/2009 db/conf/tark/tark2009.html#TroquardHW09