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/22 ER -