1. H. Abdulrab and M. Maksimenko. General solutions of systems of linear diophantine equations and inequations. In J. Hsiang, editor, 6th International Conference on Rewriting Techniques and Applications, volume 914 of Lecture Notes in Computer Science, Kaiserslautern, Germany, Apr. 1995. Springer-Verlag.
2. J. Büchi. On a decision method in restricted second-order arithmetic. In E. e. a. Nagel, editor, Proc. Int. Congr. on logic, methodology and philosophy of science, Standford, 1960. Stanford Univ. Press.
3. E. Contejean and H. Devie. An efficient algorithm for solving systems of diophantine equations. Information and Computation, 113(1):143–172, Aug. 1994.
4. E. Domenjoud and A. P. Tomás. From elliotmac mahon to an algorithm for general linear constraints on naturals. In U. Montanari, editor, Principles and Practice of Constraint Programming, Cassis, France, Sept. 1995. To appear.
5. Elliot. On linear homogeneous diophantine equations. Quartely J. of Pure and Apllied Maths, 136, 1903.