@Article{KBNP:Korovin:Voronkov:TOCL:toappear,
  author    = {Korovin, K. and Voronkov, A.},
  title     = {{Knuth-Bendix} constraint solving is {NP}-complete},
  journal =   {{ACM} Transactions on Computational Logic},
  volume =       {},
  number =       {},
  pages =        {},
  month =        {},
  year =         {2005},
  note = {to appear}
}

@Conference{KBNP:Korovin:Voronkov:ICALP:01,
  author    = {Korovin, K. and Voronkov, A.},
  title     = {{Knuth-Bendix} constraint solving is {NP}-complete},
  booktitle = {Proceedings of 28th International Colloquium on Automata, Languages and Programming (ICALP)},
  pages     = {979-992},
  series    = {Lecture Notes in Computer Science}, 
  volume    = {2076},
  publisher = {Springer},
  year      = {2001}
 }