Ensuring termination by typability (2006)

by Y Deng, D Sangiorgi
Venue:Information and Computation