Marc Bezem Characterizing Termination of Logic Programs with Level Mappings. 69-80 1989 NACLP db/conf/slp/slp89.html#Bezem89