Tractable Fragments of Presburger Arithmetic

K. Subramani. Tractable Fragments of Presburger Arithmetic. Theory Comput. Syst., 38(5):647-668, 2005. [doi]

Abstract

Abstract is missing.