Boolean programs: A model and process for software analysis (2000)

by T Ball, S K Rajamani