Second Order E-Matching as a Tool for Automated Theorem Proving.

Rgis Curien

Browse the full EPIA paper archive.