TY  - JOUR
AU  - Gábor Kusper
AU  - Zijian Győző Yang
AU  - Benedek Nagy
TI  - Using extended resolution to represent strongly connected components of directed graphs
JO  - Annales mathematicae et informaticae
PY  - 2023
SP  - 92
EP  - 109
VL  - 58
UR  - http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.08.011/
DO  - 10.33039/ami.2023.08.011
LA  - en
ID  - AMI_2023_58_a8
ER  -