added slides and fixed computation of KC equalities from graphs