Darvas, Dániel, András Vörös, and Tamás Bartha. 2016. “Improving Saturation-Based Bounded Model Checking”. Acta Cybernetica 22 (3), 573-89. https://doi.org/10.14232/actacyb.22.3.2016.2.