Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings | Publicación