Darvas, D. et al. 2016. Improving Saturation-based Bounded Model Checking. Acta Cybernetica. 22, 3 (Jan. 2016), 573–589. DOI:https://doi.org/10.14232/actacyb.22.3.2016.2.