The Ant-Lion paradigm for strong normalization (1994)

by C Bohm, B Intrigila
Venue:Information and Computation