Christos H. Papadimitriou Games Against Nature. 288-301 1985 31 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss31.html#Papadimitriou85