2003. A hybrid sat-based decision procedure for separation logic with uninterpreted functions (0)

by S A Seshia, S K Lahiri, R E Bryant
Venue:In the 40th Design Automation Conference (DAC). 425–430. SICStus Prolog