@incollection{TACAS2015_MolnarEtAl,
	author = {Moln\'ar, Vince and Darvas, D\'aniel and V\"or\"os, Andr\'as and Bartha, Tam\'as},
	title = {Saturation-Based Incremental {LTL} Model Checking with Inductive Proofs},
	booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
	year = {2015},
	volume = {9035},
	pages = {643--657},
	series = {Lecture Notes in Computer Science},
	editor = {Christel Baier and Cesare Tinelli},
	publisher = {Springer},
	bib-link = {TACAS2015_MolnarEtAl.bib},
	pdf-link = {http://petridotnet.inf.mit.bme.hu/publications/TACAS2015_MolnarEtAl.pdf},
	url = {http://link.springer.com/chapter/10.1007%2F978-3-662-46681-0_58},
	doi = {10.1007/978-3-662-46681-0_58},
	isbn = {978-3-662-46680-3},
	mtmt = {2893150},
}