@misc{indiciae678b4d3bfe2b,
  title = {Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking},
  author = {Yoshiaki Takata and Ryoma Senda and Hiroyuki Seki},
  year = {2022},
  doi = {10.1587/transinf.2022edl8030},
  url = {https://arxiv.org/abs/2203.11826},
  note = {Source identifier: 2203.11826}
}