@misc{indiciae6953069fdf86,
  title = {Linear-Time Safe-Alternating DFS and SCCs},
  author = {Carlo Comin and Romeo Rizzi},
  year = {2025},
  url = {https://arxiv.org/abs/1610.09679},
  note = {Source identifier: 1610.09679}
}