APA (7th ed.) Citation

Bancerek, G. (2014). Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm. Formalized mathematics, 22(1), 37-56. https://doi.org/10.2478/forma-2014-0005

Chicago Style (17th ed.) Citation

Bancerek, Grzegorz. "Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm." Formalized Mathematics 22, no. 1 (2014): 37-56. https://doi.org/10.2478/forma-2014-0005.

MLA (9th ed.) Citation

Bancerek, Grzegorz. "Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm." Formalized Mathematics, vol. 22, no. 1, 2014, pp. 37-56, https://doi.org/10.2478/forma-2014-0005.