@inproceedings{inproceedings, title  = {{Knuth-Bendix Completion for Non-Symmetric Transitive Relations.}},

 publisher = {{Elsevier}},

 url = {{https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/59/issue/4 }},

 year = {{2001}},

 month = {{11}},

 author = {{Struth G}},

 volume = {{59}},

 journal = {{RULE@PLI}},

 pages = {{341-357}},

 note = {{Accessed on 2025/12/03}}}