@misc{indiciae1c9acac5e84c,
  title = {Regular Substitution Sets: A Means of Controlling E-Unification},
  author = {Jochen Burghardt},
  year = {2019},
  url = {https://arxiv.org/abs/1404.1201},
  note = {Source identifier: 1404.1201}
}