Natural termination (1995)

by N Dershowitz, C Hoot
Venue:Theoretical Computer Science