The relation between second-order unification and simultaneous rigid E-unification | IEEE Conference Publication | IEEE Xplore