@inproceedings{martin1987choose,
  title = "How to choose the weights in the Knuth Bendix ordering",
  author = "Martin, Ursula",
  year = "1987",
  booktitle = "Rewriting Techniques and Applications",
  organization = "Springer Berlin/Heidelberg",
  pages = "42--53",
}