Darvas Dániel; Vörös András; Bartha Tamás: Improving saturation-based bounded model checking. In: Acta cybernetica, (22) 3. pp. 573-589. (2016)