Algebraic cell decomposition in nc (1985)

by D Kozen, C K Yap
Venue:in 26th Annual Symposium on Foundations of Computer Science