@Article{KNR07, Author = "Kuncak, V. and Hguyen, H. and Rinard, M.", Year = "2007", Title = "{Deciding Boolean Algebra with Presburger Arithmetic}", Journal = "Journal of Automated Reasoning", Volume = "36", Number = "3", Pages = "213-239", Comment = "TPTPCite,TPTPRef" }