Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings. - Robin N. Banerjee; Andrés Bujosa (FoIKS, 2002)

Syntactic Unification as a Geometric Operation in Free Modules over certain Rings. - Robin N. Banerjee; Andrés Bujosa (UNCL@ICALP, 2002)

A geometric interpretation of LD-resolution. - Robin N. Banerjee; Andrés Bujosa (Theor. Comput. Sci., 2004)