@misc{indiciae96c84651e98e,
  title = {Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence},
  author = {Petr Jancar},
  year = {2019},
  url = {https://arxiv.org/abs/1305.0516},
  note = {Source identifier: 1305.0516}
}