The complexity of elementary algebra and geometry (preliminary version)Michael Ben-OrDexter Kozenet al.1984STOC 1984
The complexity of elementary algebra and geometryMichael Ben-OrDexter Kozenet al.1986Journal of Computer and System Sciences