A variant of the Buchberger algorithm for integer programming - Urbaniak, Regina; Weismantel, Robert; Ziegler, Günter M. ([Preprint / Konrad-Zuse-Zentrum für Informationstechnik Berlin, 1998)