@misc{indiciaed7d9082de5b5,
  title = {Anti-unification of Unordered Goals},
  author = {Gonzague Yernaux and Wim Vanhoof},
  year = {2021},
  doi = {10.4230/lipics.csl.2022.7},
  url = {https://arxiv.org/abs/2107.00341},
  note = {Source identifier: 2107.00341}
}