Formula Preprocessing in MUS Extraction | Publicación