Syntactic Elements of Declarative Programming: Symbolic Linear Equations. - Andrés Bujosa; Regino Criado (Fundam. Informaticae, 1996)

Unification: Nothing but the Solution of a System of Linear Equations. - Andrés Bujosa; Regino Criado; Miguel Angel Hernández-Medina (Fundam. Informaticae, 1997)

Jordan Normal Form via Elementary Transformations. - Andrés Bujosa; Regino Criado; Carlos Vega (SIAM Rev., 1998)

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)

Mathematical Framework for Pseudo-Spectra of Linear Stochastic Difference Equations. - Marcos Bujosa; Andrés Bujosa; Antonio García-Ferrer (IEEE Trans. Signal Process., 2015)