@misc{Dembiński_Piotr_Towards_2016, author={Dembiński, Piotr and Jamroga, Wojciech and Mazurkiewicz, Antoni and Penczek, Wojciech}, title={Towards Partial Order Reductions for Fragments of Alternating-Time Temporal Logic.}, address={Warszawa}, year={2016}, language={eng}, type={raport}, publisher={Instytut Podstaw Informatyki PAN}, }