TY  - CONF

T1  - Knuth-Bendix Completion for Non-Symmetric Transitive Relations.

JO  - RULE@PLI

UR  - https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/59/issue/4

PY  - 2001/11/01

AU  - Struth G

ED  - Brand MVD

ED  - Verma RM

PB  - Elsevier

VL  - 59

SP  - 341

EP  - 357

Y2  - 2025/12/03

ER  -