Click 07_Automates_MinimisationCongruences.ppt link to view the file.