Advanced logic program specialisation (1999)

by M Leuschel
Venue:In Partial Evaluation - Practice and Theory, DIKU 1998 Int. Summer School