Muller Automaton Equivalence With Other ��-automata