Efficient computation of dominators in multiple-output circuit graphs | IEEE Conference Publication | IEEE Xplore