BTA algorithms to ensure termination of o- line partial evaluation (1996)

by A J Glenstrup, N D Jones
Venue:In Andrei Ershov Second Intl Conference \Perspective of System Informatics", LNCS 1110