Darvas, D., Vörös, A., & Bartha, T. (2016). Improving Saturation-based Bounded Model Checking. Acta Cybernetica, 22(3), 573-589. https://doi.org/10.14232/actacyb.22.3.2016.2