Unification in Free Extensions of Boolean Rings and Abelian Groups - Alexandre Boudet; Jean-Pierre Jouannaud; Manfred Schmidt-Schauß (LICS, 1988)

Unification in Boolean Rings and Abelian Groups. - Alexandre Boudet; Jean-Pierre Jouannaud; Manfred Schmidt-Schauß (J. Symb. Comput., 1989)

Unification in a Combination of Equational Theories: an Efficient Algorithm. - Alexandre Boudet (CADE, 1990)

A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations - Alexandre Boudet; Evelyne Contejean; Hervé Devie (LICS, 1990)

On n-Syntactic Equational Theories. - Alexandre Boudet; Evelyne Contejean (ALP, 1992)

Unification in Order-Sorted Algebras with Overloading. - Alexandre Boudet (CADE, 1992)

About the Theory of Tree Embedding. - Alexandre Boudet; Hubert Comon (TAPSOFT, 1993)

Competing for the AC-Unification Race. - Alexandre Boudet (J. Autom. Reason., 1993)

Combining Unification Algorithms. - Alexandre Boudet (J. Symb. Comput., 1993)

"Syntactic" AC-Unification. - Alexandre Boudet; Evelyne Contejean (CCL, 1994)

Diophantine Equations, Presburger Arithmetic and Finite Automata. - Alexandre Boudet; Hubert Comon (CAAP, 1996)

AC-Complete Unification and its Application to Theorem Proving. - Alexandre Boudet; Evelyne Contejean; Claude Marché (RTA, 1996)

AC-Unification of Higher-Order Patterns. - Alexandre Boudet; Evelyne Contejean (CP, 1997)

About the Confluence of Equational Pattern Rewrite Systems. - Alexandre Boudet; Evelyne Contejean (CADE, 1998)

Unification of Higher-order Patterns modulo Simple Syntactic Equational Theories. - Alexandre Boudet (Discret. Math. Theor. Comput. Sci., 2000)

Combining Pattern E-Unification Algorithms. - Alexandre Boudet; Evelyne Contejean (RTA, 2001)