Deciding boolean algebra with presburger arithmetic (2006)

by V Kuncak, H H Nguyen, M C Rinard
Venue:Journal of Automatic Reasoning