Sesión 3: Web Queries and Program Analysis Listado de artículos correspondientes a la sesión: Fuzzy Queries of Social Networks involving Sentiment Analysis and Topic Detection (Trabajo en progreso)Analysis of Rewriting-Based Systems as First-Order Theories (Trabajo ya publicado)The 2D Dependency Pair Framework for conditional rewrite systems (Trabajo ya publicado)