Juan Antonio Navarro Pérez, Andrey Rybalchenko. Separation logic + superposition calculus = heap theorem prover. In Mary W. Hall, David A. Padua, editors, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. pages 556-566, ACM, 2011. [doi]
Abstract is missing.