Pattern minimization problems over recursive data types | Publicación