@Article{         CzerwinskiLasota:LMCS:2019,
  Author        = "Czerwi{\'n}ski, Wojciech and Lasota, S{{\l}}awomir",
  date-added    = "2019-06-28 22:25:08 +0200",
  date-modified = "2020-02-06 16:51:16 +0100",
  Journal       = "{Logical Methods in Computer Science}",
  Keywords      = "Computer Science - Formal Languages and Automata Theory",
  Month         = "June",
  Title         = "{Regular Separability of One Counter Automata}",
  URL           = "https://lmcs.episciences.org/5563",
  Volume        = "{Volume 15, Issue 2}",
  Year          = "2019",
  bdsk-url-1    = "https://lmcs.episciences.org/5563",
  File          = "1701.02808 (1) (0) - a - a - o.pdf"
}

@Article{ CzerwinskiLasota:LMCS:2019, Author = "Czerwi{\'n}ski, Wojciech and Lasota, S{{\l}}awomir", date-added = "2019-06-28 22:25:08 +0200", date-modified = "2020-02-06 16:51:16 +0100", Journal = "{Logical Methods in Computer Science}", Keywords = "Computer Science - Formal Languages and Automata Theory", Month = "June", Title = "{Regular Separability of One Counter Automata}", URL = "https://lmcs.episciences.org/5563", Volume = "{Volume 15, Issue 2}", Year = "2019", bdsk-url-1 = "https://lmcs.episciences.org/5563", File = "1701.02808 (1) (0) - a - a - o.pdf" }