A variant of the Buchberger algorithm for integer programming - Urbaniak, Regina 1969-; Weismantel, Robert; Ziegler, Günter M. 1963- (Konrad-Zuse-Zentrum für Informationstechnik <Berlin>: Preprint SC, 1994)