Schreye. Termination analysis: some practical properties of the norm and level mapping space (1998)

by S Decorte, D De
Venue:Proc. of the 1998 Joint Int. Conf. and Symp. on Logic Programming