TY  - RPRT
TI  - Unification in Matching Logic - Extended Version
AU  - Andrei Arusoaie
AU  - Dorel Lucanu
PY  - 2018
UR  - https://arxiv.org/abs/1811.02835
ID  - 1811.02835
ER  -