Termination of on-demand rewriting and termination of OBJ programs | Publicación