. Buchberger theory and beyond / Teo Mora, University of Genoa. 2016