Branching Programs, Grammar Systems and the NC1 Class | IEEE Conference Publication | IEEE Xplore