An efficient algorithm for finding double-vertex dominators in circuit graphs | IEEE Conference Publication | IEEE Xplore