Stump, A., & Löchner, B. (2006). Knuth–Bendix completion of theories of commuting group endomorphisms. Information processing letters, 98(5), 195-198. https://doi.org/10.1016/j.ipl.2006.01.009
Chicago Style (17th ed.) CitationStump, Aaron, and Bernd Löchner. "Knuth–Bendix Completion of Theories of Commuting Group Endomorphisms." Information Processing Letters 98, no. 5 (2006): 195-198. https://doi.org/10.1016/j.ipl.2006.01.009.
MLA (9th ed.) CitationStump, Aaron, and Bernd Löchner. "Knuth–Bendix Completion of Theories of Commuting Group Endomorphisms." Information Processing Letters, vol. 98, no. 5, 2006, pp. 195-198, https://doi.org/10.1016/j.ipl.2006.01.009.
Warning: These citations may not always be 100% accurate.