DeClerk, A. (2025). prefix-Knuth-Bendix (Version 1.0.0) [Computer software]. https://github.com/ashdeclerk/prefixKnuthBendix