Alessandro Armando Claudio Castellini Enrico Giunchiglia Marco Maratea The SAT-based Approach to Separation Logic. 237-263 2005 35 J. Autom. Reasoning 1-3 http://dx.doi.org/10.1007/s10817-005-9002-1 db/journals/jar/jar35.html#ArmandoCGM05