@TechReport{NeiderLoeding10,
  author      =	 {Neider, Daniel and L\"oding, Christof},
  title       =	 {Learning Visibly One-Counter Automata in Polynomial Time},
  institution =	 {RWTH Aachen},
  year        =  {2010},
  number      =	 {AIB-2010-02},
  month       =	 jan,
  keywords =     {visibly, one-counter automata, learning},
  url         =  {http://aib.informatik.rwth-aachen.de/2010/2010-02.pdf}
}