@inproceedings{AAFJV98,
 author =  "E. Albert and M. Alpuente and M. Falaschi and P. Juli{\'a}n
            and G. Vidal",
 title =  "Improving {C}ontrol in {F}unctional {L}ogic
          {P}rogram {S}pecialization",
 year =  "1998",
 booktitle = "Proc. of Static Analysis Symposium, SAS'98",
 editor = "G. Levi",
 publisher = "Springer LNCS 1503",
 pages = "262-277"
}