Global control for partial deduction through characteristic atoms and global trees (1996)

by M Leuschel, B Martens
Venue:Proceedings of the 1996 Dagstuhl Seminar on Partial Evaluation, LNCS 1110, pages 263{283, Schlo Dagstuhl