The complexity of elementary algebra and geometry (1986)

by M Ben-Or, D Kozen, J Reif
Venue:J. Comp. Sys. Sci