author = {A. Maletzky},
title = {{A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms}},
language = {english},
year = {2018},
month = {September},
note = {Submitted},
institution = {RISC},
length = {31}