Parametric Shape Analysis via 3-Valued Logic. - Sagiv, Mooly; Reps, Thomas; Wilhelm, Reinhard (ACM Transactions on Programming Languages & Systems, 2002)