Efficient Second-Order Matching

@inproceedings{Curien1996EfficientSM,
  title={Efficient Second-Order Matching},
  author={R{\'e}gis Curien and Zhenyu Qian and Hui Shi},
  booktitle={RTA},
  year={1996}
}