Parametric Shape Analysis via 3-Valued Logic (2001)

by Mooly Sagiv, Thomas Reps, Reinhard Wilhelm