@misc{Woźna-Szcześniak_Bożena_On_2016,
 author={Woźna-Szcześniak, Bożena and Szcześniak, Ireneusz},
 type={artykuł},
 publisher={Wydawnictwo im. Stanisława Podobińskiego Akademii im. Jana Długosza w Częstochowie},
 title={On the SMT-based Verification of Communicative Commitments},
 address={Częstochowa},
 year={2016},
 language={eng},
}