Ordinals and Termination (1993)

by Trees
Venue:in: Proceedings of the TAPSOFT/CAAP