@misc{indiciaecd4124e03e6a,
  title = {A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version)},
  author = {Rui Ge and Ronald Garcia and Alexander J. Summers},
  year = {2024},
  url = {https://arxiv.org/abs/2404.18007},
  note = {Source identifier: 2404.18007}
}