Implementing term algebra syntactic unification in free modules over certain rings - Banerjee R; Bujosa A (Lecture Notes In Computer Science, 2002)