Presburger Arithmetic with Bounded Quantifier Alternation

C. R. Reddy, Donald W. Loveland

Browse the full STOC paper archive.