Zeno: An Automated Prover for Properties of Recursive Data Structures. - William Sonnex; Sophia Drossopoulou; Susan Eisenbach (TACAS, 2012)