and termination (1993)

by Trees
Venue:4th International Joint Conference on Theory and Practice of Software Development