Proving Operational Termination of Declarative Programs in General Logics | Publicación