@InProceedings{RN11,
    Author       = "Rybalchenko, A. and Navarro Perez, J.",
    Year         = "2011",
    Title        = "{Separation Logic + Superposition Calculus = Heap Theorem
                    Prover}",
    Editor       = "Cervesato, I. and Veith, H. and Voronkov, A.",
    BookTitle    = "{Proceedings of the 32nd ACM SIGPLAN conference on
                    Programming Language Design and Implementation}",
    Pages        = "To appear",
    Publisher    = "ACM Press",
    Comment      = "TPTPRef"
}