Farid Ajili Evelyne Contejean Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables. 1-17 1995 conf/cp/1995 CP db/conf/cp/cp95.html#AjiliC95