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

@inproceedings{Curien1993SecondOE,
  title={Second Order E-Matching as a Tool for Automated Theorem Proving},
  author={R{\'e}gis Curien},
  booktitle={EPIA},
  year={1993}
}