An NC algorithm for the general planar monotone circuit value problem | IEEE Conference Publication | IEEE Xplore