Algebraic cell decomposition in NC | IEEE Conference Publication | IEEE Xplore