APA (7th ed.) Citation

Maletzky, A. (2021). A generic and executable formalization of signature-based Gröbner basis algorithms. Journal of symbolic computation, 106, 23-47. https://doi.org/10.1016/j.jsc.2020.12.001

Chicago Style (17th ed.) Citation

Maletzky, Alexander. "A Generic and Executable Formalization of Signature-based Gröbner Basis Algorithms." Journal of Symbolic Computation 106 (2021): 23-47. https://doi.org/10.1016/j.jsc.2020.12.001.

MLA (9th ed.) Citation

Maletzky, Alexander. "A Generic and Executable Formalization of Signature-based Gröbner Basis Algorithms." Journal of Symbolic Computation, vol. 106, 2021, pp. 23-47, https://doi.org/10.1016/j.jsc.2020.12.001.