Ge, R., Garcia, R., & Summers, A. J. (2024). A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version).
Citazione stile Chigago Style (17a edizione)Ge, Rui, Ronald Garcia, e Alexander J. Summers. A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version). 2024.
Citatione MLA (9a ed.)Ge, Rui, et al. A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version). 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.