## Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard

*An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic*

CADE, 2005.

@inproceedings{CADE-2005-KuncakNR, author = "Viktor Kuncak and Huu Hai Nguyen and Martin C. Rinard", booktitle = "{Proceedings of the 20th International Conference on Automated Deduction}", doi = "10.1007/11532231_20", isbn = "3-540-28005-7", pages = "260--277", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic}", volume = 3632, year = 2005, }