Termination analysis of logic programs through combination of type-based norms | Publicación