On Computing the Union of MUSes | Publicación