@misc{indiciaede86f06fdc38,
  title = {Unification in Matching Logic - Extended Version},
  author = {Andrei Arusoaie and Dorel Lucanu},
  year = {2018},
  url = {https://arxiv.org/abs/1811.02835},
  note = {Source identifier: 1811.02835}
}