From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals.

Eric Domenjoud Ana Paula Tomás From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals. 18-35 1995 conf/cp/1995 CP db/conf/cp/cp95.html#DomenjoudT95