publication venue for Complexity classes of equivalence problems revisited 2011 COMBINATORIAL PROPERTIES OF DEPENDENCE GRAPHS 1994