Proving Termination Properties with mu-term | Publicación