Linear Completion. - Hervé Devie (CTRS, 1990)

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

An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations - Evelyne Contejean; Hervé Devie (Inf. Comput., 1994)