@Inproceedings{EPTCS303.5, author = {\c{S}urlea, Georgiana and Cr\u{a}ciun, Adrian }, year = {2019}, title = {Gr\"obner Bases with Reduction Machines}, editor = {Marin, Mircea and Cr\u{a}ciun, Adrian}, booktitle = {{\rm Proceedings Third Symposium on} Working Formal Methods, {\rm Timi\c{s}oara, Romania, 3-5 September 2019}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {303}, publisher = {Open Publishing Association}, pages = {61-75}, doi = {10.4204/EPTCS.303.5}, }