Before revision:  We specify an algorithm, called leaf-to-root process, which compactifies at least as many information sets as any other compactification process.
After revision:  We specify an algorithm, called leaves-to-root process, which compactifies at least as many information sets as any other compactification process.