@misc{indiciae261634cfa2f9,
  title = {Regular Separability of One Counter Automata},
  author = {Wojciech Czerwiński and Sławomir Lasota},
  year = {2019},
  doi = {10.23638/lmcs-15(2:20)2019},
  url = {https://arxiv.org/abs/1701.02808},
  note = {Source identifier: 1701.02808}
}