Authors: E.K.Burke

Citation: E.k.burke, Unification in Partially Commutative Semigroups, Journal of automated reasoning , 12(2), 1994, pp. 209-224