@article{dick1990automating,
  title = "Automating the knuth bendix ordering",
  author = "Dick, Jeremy and Kalmus, John and Martin, Ursula",
  year = "1990",
  journal = "Acta Informatica",
  number = "2",
  pages = "95--119",
  publisher = "Springer Berlin/Heidelberg",
  volume = "28",
}