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

by M Leuschel, B Martens
Venue:Thiemann (Eds.), Partial Evaluation, Lecture Notes in Computer Science