The following publications are possibly variants of this publication:
- Deciding Boolean Algebra with Presburger ArithmeticViktor Kuncak, Huu Hai Nguyen, Martin C. Rinard. JAR, 36(3):213-239, 2006. [doi]
- An Algorithm for Deciding BAPA: Boolean Algebra with Presburger ArithmeticViktor Kuncak, Huu Hai Nguyen, Martin C. Rinard. cade 2005: 260-277 [doi]
- Short Presburger Arithmetic Is HardDanny Nguyen, Igor Pak. SICOMP, 51(2):1-31, 2022. [doi]
- Short Presburger Arithmetic Is HardDanny Nguyen, Igor Pak. focs 2017: 37-48 [doi]