@misc{indiciae28778f760229,
  title = {Dependently Typed Model Composition for Matching Logic},
  author = {Ádám Kurucz and Péter Bereczky and Dániel Horpácsi},
  year = {2026},
  doi = {10.4204/eptcs.452.13},
  url = {https://arxiv.org/abs/2609.34892},
  note = {Source identifier: 2609.34892}
}