Dominator Tree Certification and Divergent Spanning Trees

From MaRDI portal
Publication:4962208