@inproceedings{AEL-AGP99, Author = "M.~Alpuente and S.~Escobar and S.~Lucas", Title = "{A}n {I}ncremental {N}eeded {N}arrowing {C}alculus for {C}urry", Editor = "M.C. Meo and M. Vilares", Booktitle = "Proc of the 1999 Joint Conference on Declarative Programming, AGP'99, L'Acquila (Italy)", Year = "1999" }