@inproceedings{GBD2002,
author = "Vijay Ganesh and Sergey Berezin and David L. Dill",
title = "Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods",
booktitle = "Formal Methods in Computer-Aided Design",
year = "2002",
month = "November",
publisher = "Springer-Verlag",
location = "Portland, Oregon"
}