@misc{Ziółko_Bartosz_Automatic,
 author={Ziółko, Bartosz and Kruk, Maciej},
 howpublished={online},
 publisher={Wydaw. Uniwersytetu Marii Curie-Skłodowskiej},
 language={eng},
 type={czasopismo},
 title={Automatic reasoning in the Planet Wars game},
}