@misc{indiciae05fd98ba9d9b,
  title = {Towards Correctness of Program Transformations Through Unification and Critical Pair Computation},
  author = {Conrad Rau and Manfred Schmidt-Schauß},
  year = {2010},
  doi = {10.4204/eptcs.42.4},
  url = {https://arxiv.org/abs/1012.4893},
  note = {Source identifier: 1012.4893}
}