Modules

Modular decomposition of directed graphs