Localized Operational Termination in General Logics | Publicación