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.