Program specialisation for logic programs. Tutorial. Abstract (0)

by D De Schreye, M Leuschel, B Martens
Venue:Proceedings ILPS'95, 615--616