TY  - RPRT
TI  - Variant-based Equational Unification under Constructor Symbols
AU  - Damián Aparicio-Sánchez
AU  - Santiago Escobar
AU  - Julia Sapiña
PY  - 2020
DO  - 10.4204/eptcs.325.10
UR  - https://arxiv.org/abs/2009.11070
ID  - 2009.11070
ER  -