Refining semantics for multi-stage programming. - Rui Ge 001; Ronald Garcia (J. Comput. Lang., 2019)

A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations. - Rui Ge 001; Ronald Garcia; Alexander J. Summers (IJCAR (1), 2024)

A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version). - Rui Ge 001; Ronald Garcia; Alexander J. Summers (CoRR, 2024)