@article{bibcite_14966,
  author = {Artur Rataj},
  title = {Translation of probabilistic games in J2TADD},
  year = {2013},
  journal = {Theoretical and Applied Informatics},
  volume = {25},
  number = {3/4},
  issn = {1896-5334},
  language = {eng},
}