Cite This Page

Jump to navigation Jump to search

Bibliographic details for Knuth–Bendix completion algorithm