Debugging and Termination Listado de artículos correspondientes a la sesión Debugging and Termination Thresholded Debugging of XPath QueriesProductivity of rewrite systems without transformationsA Declarative Debugger for Concurrent Erlang Programs