@misc{indiciae0c5198124180,
  title = {Type-Checking for Pattern-Based Tree Transformations},
  author = {C. Aiswarya and Sahil Mhaskar and M. Praveen},
  year = {2026},
  url = {https://arxiv.org/abs/2610.11337},
  note = {Source identifier: 2610.11337}
}