TY  - RPRT
TI  - Knuth-Bendix constraint solving is NP-complete
AU  - Konstantin Korovin
AU  - Andrei Voronkov
PY  - 2002
UR  - https://arxiv.org/abs/cs/0207068
ID  - cs/0207068
ER  -