Florian Lonsing, Subhasish Mitra, Clark W. Barrett: A Theoretical Framework for Symbolic Quick Error Detection. FMCAD 2020: 1-10