@misc{_Prace, title={Prace IPI PAN. 2012 (1023 - 1027)}, type={raport}, address={Warszawa}, publisher={Instytut Podstaw Informatyki PAN}, }