Reasoning about hierarchies of online specialization systems (1996)

by J Hatcliff, R Gluck
Venue:In Partial Evaluation