@misc{indiciae56c9038dbbf5,
  title = {BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs},
  author = {Nikola Beneš and Luboš Brim and Samuel Pastva and David Šafránek},
  year = {2022},
  doi = {10.46298/lmcs-18(1:38)2022},
  url = {https://arxiv.org/abs/2108.13113},
  note = {Source identifier: 2108.13113}
}