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