1. H. Abdulrab and M. Maksimenko. General solution of systems of linear diophantine equations and inequations. In J. Hsiang, editor, Proc. 6th Conf. on Rewriting Techniques and Applications, Kaiserslautern (Germany), volume 914 of Lecture Notes in Computer Science, pages 339–351. Springer-Verlag, April 1995.
2. F. Ajili and Contejean E. Complete solving of linear diophantine equations and inequations without adding variables. In this volume.
3. A. Boudet, E. Contejean, and H. Devie. A new AC unification algorithm with a new algorithm for solving diophantine equations. In Proc. 5th IEEE Symp. on Logic in Computer Science, Philadelphia (Pa., USA), pages 289–299, June 1990.
4. M. Clausen and A. Fortenbacher. Efficient solution of linear diophantine equations. J. of Symbolic Computation, 8(1 & 2):201–216, 1989. Special issue on unification. Part two.
5. E. Domenjoud. Solving systems of linear diophantine equations: An algebraic approach. In A. Tarlecki, editor, Proc. 16th Int. Symp. on Mathematical Foundations of Computer Science, Kazimierz Dolny (Poland), volume 520 of Lecture Notes in Computer Science, pages 141–150. Springer-Verlag, September 1991.