@conference {310,
	title = {A Cooperative Parallelization Approach for Property-Directed k-Induction},
	booktitle = {VMCAI 2020 - 21st International Conference on Verification, Model Checking, and Abstract Interpretation},
	year = {2020},
	address = { New Orleans, USA, 19-25 January 2020},
	doi = {10.1007/978-3-030-39322-9_13},
	author = {Martin Blicha and Antti E. J. Hyv{\"a}rinen and Matteo Marescotti and Natasha Sharygina}
}
