A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations.

Rui Ge, Ronald Garcia, Alexander J. Summers

Browse the full IJCAR paper archive.