C. R. Reddy, Donald W. Loveland. Presburger Arithmetic with Bounded Quantifier Alternation. In Conference Record of the Tenth Annual ACM Symposium on Theory of Computing, 1-3 May 1978, San Diego, California, USA. pages 320-325, ACM, 1978.
Abstract is missing.