Some algebraic and geometric computations in PSPACE (1988)

by J Canny
Venue:In Proc. Twentieth ACM Symp. Theor. Comput