Type-based homeomorphic embedding for online termination | Publicación