@文章{zbMATH07144324,作者{Andrew{Reynolds}和Viktor{Kuncak}和Cesare{Tinelli}和Clark{Barrett}和Morgan{Deters},Title={SMT}中基于反驳的合成,FJournal={{System Design中的形式方法},Journal={Form.Methods sys.Des.},ISSN={0925-9856},体积={55},{2},页数={73--102},年份:{2019},Publisher={Springer US,纽约,纽约},语言{英语},DOI={10.1007/s10703-017-0270-2},MSC2010={68N30 68V15},Zbl={1427.68051}}