Navarro Peŕez, JA; Rybalchenko, A; (2013) Separation logic modulo theories. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , 8301 90 - 106. 10.1007/978-3-319-03542-0_7.