@misc{indiciae4e9eec369de6,
  title = {Random Generation and Enumeration of Accessible Determinisitic Real-time Pushdown Automata},
  author = {Pierre-Cyrille Héam and Jean-Luc Joly},
  year = {2015},
  url = {https://arxiv.org/abs/1512.05881},
  note = {Source identifier: 1512.05881}
}