Ian A. Kash, Eric J. Friedman, and Joseph Y. Halpern 2011
In Journal of Artificial Intelligence Research (JAIR)