Eric Domenjoud Solving Systems of Linear Diophantine Equations: An Algebraic Approach. 141-150 1991 MFCS db/conf/mfcs/mfcs91.html#Domenjoud91 http://dx.doi.org/10.1007/3-540-54345-7_57