H. Gast, “Semi-automatic Proofs about Object Graphs in Separation Logic”, ECEASST, vol. 53, Dec. 2012.