@inbook {TACAS2015_MolnarEtAl,
	title = {Saturation-based Incremental LTL Model Checking with Inductive Proofs},
	booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
	series = {Lecture Notes in Computer Science},
	volume = {9035},
	year = {2015},
	pages = {643-657},
	publisher = {Springer},
	organization = {Springer},
	issn = {978-3-662-46680-3},
	doi = {10.1007/978-3-662-46681-0_58},
	url = {http://link.springer.com/chapter/10.1007\%2F978-3-662-46681-0_58},
	author = {Vince Moln{\'a}r and D{\'a}niel Darvas and Andr{\'a}s V{\"o}r{\"o}s and Tam{\'a}s Bartha},
	editor = {C. Baier and C. Tinelli}
}
