@Conference{ UnaryKBO:Korovin:Voronkov:FSTTCS:2002,
  author    = {Korovin, K. and Voronkov, A.},
  title     = {The decidability of the first-order theory 
              of the {Knuth-Bendix} order in the case of unary signatures},
  booktitle = {In Proceedings of the 22th Conference on  
              Foundations of Software Technology and Theoretical Computer Science, (FSTTCS'02)},
  pages     = {230-240},
  series    = {Lecture Notes in Computer Science}, 
  volume    = {2556},
  publisher = {Springer},
  year      = 2002
}