TY  - RPRT
TI  - A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version)
AU  - Rui Ge
AU  - Ronald Garcia
AU  - Alexander J. Summers
PY  - 2024
UR  - https://arxiv.org/abs/2404.18007
ID  - 2404.18007
ER  -