A Relational Approach to Interprocedural Shape Analysis. - Jeannet, Bertrand; Loginov, Alexey; Reps, Thomas (ACM Transactions on Programming Languages & Systems, 2010)