Sorry, the article you're looking for isn't specifically available. Here are related topics:
with quotients. At each node X, the set P of children of X are a partition of X, so they induce a quotient, G[X]/P in G[X]. The nodes of this quotient are...