@Inproceedings{KorovinVoronkov:LICS03:EqOrientability,
  author = {Korovin, K. and Voronkov, A.},
  title  ={Orienting Equalities with the {Knuth-Bendix} Order},
  year   = 2003,
  booktitle ={Proc.\ 18th IEEE Symposium on Logic in Computer Science, (LICS'03)},
  pages =        {75--84},
  publisher =    {IEEE Computer Society Press},
  }