@inproceedings{AFMV97,
    Author = "M. Alpuente and M. Falaschi and G. Moreno and G. Vidal",
    Title = "Safe {F}olding/{U}nfolding with {C}onditional {N}arrowing",
    Booktitle = "Proc. of the International Conference on Algebraic
                 and Logic Programming, ALP'97",
    Editor = "M. Hanus and H. Heering and K. Meinke",
    Series = "Lecture Notes in Computer Science",
    Publisher = "Springer-Verlag, Berlin",
    Year = "1997",
    Volume = 1298,
    Pages = "1-15"}