Algorithms for computing minimal equivalent subformulas | Publicación