M.: Deciding Boolean Algebra with Presburger Arithmetic (2006)

by V Kuncak, H H Nguyen, Rinard
Venue:J. of Automated Reasoning