Minimal unsatisfiable core extraction for SMT. - Ofer Guthmann; Ofer Strichman; Anna Trostanetski (FMCAD, 2016)

Modular Demand-Driven Analysis of Semantic Difference for Program Versions. - Anna Trostanetski; Orna Grumberg; Daniel Kroening (SAS, 2017)