Fischer, Michael J.; Rabin, Michael O. Super-exponential complexity of Presburger arithmetic. (English) Zbl 0900.03027 Caviness, Bob F. (ed.) et al., Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6–8, 1993. Wien: Springer. Texts and Monographs in Symbolic Computation. 122-135 (1998). MSC: 03B25 03D15 03F30 01A75 PDFBibTeX XMLCite \textit{M. J. Fischer} and \textit{M. O. Rabin}, in: Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993. Wien: Springer. 122--135 (1998; Zbl 0900.03027)
Fischer, Michael J.; Rabin, Michael O. Super-exponential complexity of Presburger arithmetic. (English) Zbl 0319.68024 Complexity of Comput., Proc. Symp. appl. Math., New York City 1973, 27-41 (1974). MSC: 68Q25 03B10 03B25 68T15 PDFBibTeX XML