00252nas a2200121 4500000000100000000000100001000000100002008004100003100001600044245004900060490000700109022001400116 2013 d1 aArtur Rataj00aTranslation of probabilistic games in J2TADD0 v25 a1896-5334