Finding and Understanding Incompleteness Bugs in SMT Solvers. - Mauro Bringolf; Dominik Winterer; Zhendong Su 001 (ASE, 2022)