A core Erlang semantics for declarative debugging | Publicación