@article {AC2016_DarvasEtAl,
	author = {D\'aniel Darvas and Andr\'as V\"or\"os and Tam\'as Bartha},
	title = {Improving Saturation-based Bounded Model Checking},
	year = {2016},
	journal = {Acta Cybernetica},
	volume = {22},
	number = {3},
	pages = {573-589},
	url = {http://www.inf.u-szeged.hu/actacybernetica/edb/vol22n3/pdf/actacyb_22_3_2016_2.pdf},
	issn = {0324-721X},
	doi = {10.14232/actacyb.22.3.2016.2},
	bib-link = {AC2016_DarvasEtAl.bib},
	pdf-link = {http://petridotnet.inf.mit.bme.hu/publications/AC2016_DarvasEtAl.pdf},
	mtmt = {3057496},
}