Characterizing termination of logic programs with level mappings - Bezem, Marc (1989)