@article{chen-2024-a, title={A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns}, volume={26}, ISSN={1557-945X}, url={http://dx.doi.org/10.1145/3704265}, DOI={10.1145/3704265}, number={1}, journal={ACM Transactions on Computational Logic}, publisher={Association for Computing Machinery (ACM)}, author={Chen, Zhibo and Pfenning, Frank}, year={2024}, month=Dec, pages={1–33} }