An Efficient Quantifier Elimination Procedure for Presburger Arithmetic.

Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche

Browse the full ICALP paper archive.