Kumabe, Masahiro and Mihara, H. Reiju (2007): Computability of simple games: A characterization and application to the core. Published in: Journal of Mathematical Economics , Vol. 44, No. 3-4 (February 2008): pp. 348-366.