@misc{indiciae6ba8b4c4fd87,
  title = {Work-in-Progress: A Tactic for Pattern Matching in Autosubst},
  author = {Mathews George and Kathrin Stark},
  year = {2026},
  doi = {10.4204/eptcs.448.4},
  url = {https://arxiv.org/abs/2607.12657},
  note = {Source identifier: 2607.12657}
}