Sorted Multi-adjoint Logic Programs: Termination Results and Applications | Publicación