@inproceedings{AFV96b, Author = "M. Alpuente and M. Falaschi and G. Vidal", Title = "Narrowing-driven {P}artial {E}valuation of {F}unctional {L}ogic {P}rograms", Booktitle = "Proc. of the European Symposium on Programming, ESOP'96", Editor = "H.R. Nielson", Series = "Lecture Notes in Computer Science", Volume = 1058, Publisher = "Springer-Verlag, Berlin", Year = "1996", Pages = "45-61" }