On Computing Preferred MUSes and MCSes | Publicación