Formula Approximation for Flat and Hierarchical Symbolic Analysis | Publicación