System Dependence Graphs in Sequential Erlang. - Josep Silva; Salvador Tamarit; César Tomás (FASE, 2012)

Enhancing Declarative Debugging with Loop Expansion and Tree Compression. - David Insa; Josep Silva; César Tomás (LOPSTR, 2012)