## Juan Antonio Navarro Pérez, Andrey Rybalchenko

*Separation logic + superposition calculus = heap theorem prover*

PLDI, 2011.

@inproceedings{PLDI-2011-PerezR, author = "Juan Antonio Navarro Pérez and Andrey Rybalchenko", booktitle = "{Proceedings of the 32nd Conference on Programming Language Design and Implementation}", doi = "10.1145/1993498.1993563", editor = "Mary W. Hall and David A. Padua", isbn = "978-1-4503-0663-8", pages = "556--566", publisher = "{ACM}", title = "{Separation logic + superposition calculus = heap theorem prover}", year = 2011, }