A survival guide to presburger arithmetic

Christoph Haase. A survival guide to presburger arithmetic. SIGLOG News, 5(3):67-82, 2018. [doi]

Abstract

Abstract is missing.