@conference {235866,
	author = {Val Tannen},
	title = {Provenance Analysis for {First-Order} Model Checking},
	year = {2019},
	address = {Philadelphia, PA},
	publisher = {USENIX Association},
	month = jun
}
