On Computing Minimal Equivalent Subformulas | Publicación