Alexander Maletzky,
"A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms"
, Serie RISC Report Series / Technical report, RISC, JKU, Hagenberg, Linz, 9-2018
Original Titel:
A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms