TY  - RPRT
TI  - Efficient Full Higher-Order Unification
AU  - Petar Vukmirović
AU  - Alexander Bentkamp
AU  - Visa Nummelin
PY  - 2021
DO  - 10.46298/lmcs-17(4:18)2021
UR  - https://arxiv.org/abs/2011.09507
ID  - 2011.09507
ER  -