Automatic reasoning in the Planet Wars game - Ziółko, Bartosz; Kruk, Maciej (Wydaw. Uniwersytetu Marii Curie-Skłodowskiej)