LARA This is an old revision of the document! Definition of Boolean Algebra with Presburger Arithmetic See Figure 3 on page 5 of the paper and compare to its special cases: BA and PA.