@misc{indiciaeff7bd223b8fe,
  title = {Input-Driven Pushdown Automata with Translucent Input Letters},
  author = {Martin Kutrib and Andreas Malcher and Matthias Wendlandt},
  year = {2025},
  doi = {10.4204/eptcs.422.3},
  url = {https://arxiv.org/abs/2507.15310},
  note = {Source identifier: 2507.15310}
}