TY  - CONF

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

JO  - Electron. Notes Theor. Comput. Sci.

PY  - 2001/01/01

AU  - Struth G

ED  - 

VL  - 59

SP  - 341

EP  - 357

Y2  - 2024/12/25

ER  -