@inproceedings{Ganzinger01:1,
  title = {Relating Semantic and Proof-Theoretic Concepts for Polynominal Time Decidability of Uniform Word Problems},
  author = {Harald Ganzinger},
  year = {2001},
  researchr = {https://researchr.org/publication/Ganzinger01%3A1},
  cites = {0},
  citedby = {0},
  pages = {81-92},
  booktitle = {LICS},
}