Use of Logical Models for Proving Operational Termination in General Logics | Publicación