%0 Journal Article %A Gábor Kusper %A Zijian Győző Yang %A Benedek Nagy %T Using extended resolution to represent strongly connected components of directed graphs %J Annales mathematicae et informaticae %D 2023 %P 92-109 %V 58 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.08.011/ %R 10.33039/ami.2023.08.011 %G en %F AMI_2023_58_a8