1. AC-unification race;Adi;J. Symbolic Comput.,1992
2. An efficient incremental algorithm for solving systems of linear Diophantine equations;Contejean;Inform. and Comput.,1994
3. Computational Geometry: Algorithms and Applications;de Berg,1997
4. From Elliott–MacMahon to an algorithm for general linear constraints on naturals.;Domenjoud,1995
5. M. Filgueiras, A.P. Tomás, A note on the implementation of the Elliott–MacMahon algorithm, Tech. Rep. Department of Computer Science, University of Porto, June 1992.