@Article{OrientabilityTRS:Korovin:Voronkov:IC:2003,
title={Orienting rewrite rules with the {Knuth-Bendix} order},
author={Korovin, K. and Voronkov, A.},
pages={165-186},
journal={Information and Computation},
year=2003,
volume=183,
number=2
}

@Conference{OrientabilityTRS:Korovin:Voronkov:RTA:2001,  
  author    = {Korovin, K. and Voronkov, A.},
  title     = {Verifying orientability of rewrite rules using the {Knuth-Bendix} order},   
  booktitle = {In Proc. 10th International Conference on Rewriting Techniques and Applications (RTA'01)},  
  pages     = {137-153}, 
  series    = {Lecture Notes in Computer Science}, 
  volume    = {2051},
  publisher = {Springer},
  year = 2001
 }