Recursive decomposition tree of a Moore co-family and closure algorithm.

From MaRDI portal
Publication:2248537