@article{
  author    = {Frantisek Mr{\'{a}}z and
               Friedrich Otto}},
  title     = {On deleting deterministic restarting automata that have two windows},
  year      = {2017}
}