@inproceedings{DD2002,
author = "Satyaki Das and David L. Dill",
title = "Counter-Example Based Predicate Discovery in Predicate Abstraction",
booktitle = "Formal Methods in Computer-Aided Design",
year = "2002",
month = "November",
publisher = "Springer-Verlag",
location = "Portland, Oregon"
}