Computational consequences and partial solutions of a generalized unification problem | IEEE Conference Publication | IEEE Xplore