Reference:

Juan Antonio Navarro Pérez and Andrey Rybalchenko. Separation logic + superposition calculus = heap theorem prover. In Hall and Padua, pages 556–566.

Suggested BibTeX entry:

@inproceedings{DBLP:confpldiPerezR11,
    author = {Juan Antonio Navarro P{\'e}rez and Andrey Rybalchenko},
    booktitle = {PLDI},
    editor = {Mary W. Hall and David A. Padua},
    pages = {556-566},
    publisher = {ACM},
    title = {Separation logic + superposition calculus = heap theorem prover},
    year = {2011}
}