@article {384,
	title = {TacoFlow: optimizing {SAT} program verification using dataflow analysis},
	journal = {Software and System Modeling},
	volume = {14},
	year = {2015},
	pages = {45{\textendash}63},
	doi = {10.1007/s10270-014-0401-9},
	url = {http://dx.doi.org/10.1007/s10270-014-0401-9},
	author = {Parrino, Bruno Cuervo and Juan Pablo Galeotti and Diego Garbervetsky and Frias, Marcelo F.}
}