@misc{indiciaec0142228dc33,
  title = {Weighted Pushdown Systems with Indexed Weight Domains},
  author = {Yasuhiko Minamide},
  year = {2016},
  doi = {10.2168/lmcs-12(2:9)2016},
  url = {https://arxiv.org/abs/1603.07790},
  note = {Source identifier: 1603.07790}
}