Gast, H. Semi-Automatic Proofs about Object Graphs in Separation Logic. ECEASST 2012, 53.