@conference {334,
	title = {Theory-Specific Proof Steps Witnessing Correctness of SMT Executions},
	booktitle = {DAC 2021 - 58th Design Automation Conference},
	year = {2021},
	month = {11/2021},
	publisher = {IEEE},
	organization = {IEEE},
	address = {San Francisco, CA, USA},
	doi = {10.1109/DAC18074.2021.9586272},
	author = {Rodrigo Otoni and Martin Blicha and Patrick Eugster and Antti E. J. Hyv{\"a}rinen and Natasha Sharygina}
}
