Parametric Shape Analysis via 3-Valued Logic (1999)

by Mooly Sagiv, Thomas Reps, Reinhard Wilhelm