Regina Urbaniak Robert Weismantel Günter M. Ziegler A Variant of the Buchberger Algorithm for Integer Programming. 96-108 1997 10 SIAM J. Discrete Math. 1 http://epubs.siam.org/sam-bin/dbq/article/28120 db/journals/siamdm/siamdm10.html#UrbaniakWZ97