Modularity through inseparability: algorithms, extensions, and evaluation. - W. A. Gatens (2017)