"DUALITY AND A FARKAS LEMMA FOR INTEGER PROGRAMS" JEAN B. LASSERRE [http://www.optimization-online.org/DB_HTML/2003/04/646.html][1] This paper considers positive solutions by either computing a Groebner basis or by solving a (continuous) LP [1]: http://www.optimization-online.org/DB_HTML/2003/04/646.html