00226nas a2200097 4500000000100000008004100001100001600042245004900058490000700107022001400114 2013 d1 aArtur Rataj00aTranslation of probabilistic games in J2TADD0 v25 a1896-5334