Schreye. Constrained partial deduction (1997)

by M Leuschel, D De
Venue:Proceedings of the 12th Workshop Logische Programmierung (WLP'97