@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},
}