Proving termination properties of PROLOG programs a semantic approach - Baudinet, Marianne (1988)