Dominator trees and fast verification of proof nets | IEEE Conference Publication | IEEE Xplore