Buchberger-Zacharias theory of multivariate Ore extensions
scientific article; zbMATH DE number 6758656
scientific article