A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. - Casper Abild Larsen; Simon Meldahl Schmidt; Jesper Steensgaard; Anna Blume Jakobsen; Jaco van de Pol; Andreas Pavlogiannis (TACAS (2), 2023)