Sesión 3. Partial evaluation and context-sensitive rewriting Listado de artículos correspondientes a la sesión: Some applications of context-sensitive rewriting (Tutorial)Partial Evaluation of Order-sorted Equational Programs modulo Axioms (Trabajo de alto nivel)