Algebraic cell decomposition in NC (1985)

by D Kozen, C Yap
Venue:In Proc IEEE Foundations of Computer Science