Gröbner Bases with Reduction Machines. - Georgiana Surlea; Adrian Craciun (FROM, 2019)