"DUALITY AND A FARKAS LEMMA FOR INTEGER PROGRAMS" JEAN B. LASSERRE http://www.optimization-online.org/DB_HTML/2003/04/646.html
This paper considers positive solutions by either computing a Groebner basis or by solving a (continuous) LP
I might add though that there is exponential blowup in the number of variables in the new LP