TY  - RPRT
TI  - Higher-Order Equational Pattern Anti-Unification [Preprint]
AU  - David M. Cerna
AU  - Temur Kutsia
PY  - 2018
DO  - 10.4230/lipics.fscd.2018.12
UR  - https://arxiv.org/abs/1801.07438
ID  - 1801.07438
ER  -