Figure 1.
Pseudocode for the equivalence class generation algorithm
