Towards Erlang Verification by Term Rewriting | Publicación