Tableaux and Resource Graphs for Separation Logic. - Galmiche, Didier; Méry, Daniel (Journal of Logic & Computation, 2010)