Termination analysis of logic programs through combination of type-based norms

1 The Department of Communication, Business and Information Technologies, Roskilde University2 Programming, Logic and Intelligent Systems, Department of People and Technology, Roskilde University3 Katholieke Universiteit Leuven4 Ben-Gurion University of the Negev5 Universidad Politecnica de Madrid6 University of Namur