A hybrid SAT-based decision procedure for separation logic with uninterpreted functions (2003)

by S A Seshia, S K Lahiri, R E Bryant
Venue:In Proc. 40th DAC