An algorithm for deciding BAPA: Boolean algebra with Presburger arithmetic (2005)

by V Kuncak, H H Nguyen, M Rinard
Venue:CADE 2005, volume 3632 of LNAI