Paul E. Dunne Michael Wooldridge Michael Laurence The computational complexity of boolean and stochastic agent design problems. 976-983 2002 conf/atal/2002 AAMAS http://doi.acm.org/10.1145/544862.544968 db/conf/atal/aamas2002.html#DunneWL02