D. Darvas, A. Vörös, and T. Bartha, “Improving Saturation-based Bounded Model Checking”, Acta Cybern, vol. 22, no. 3, pp. 573-589, Jan. 2016.