@article{AFV98,
    author = "M. Alpuente and M. Falaschi and G. Vidal",
    title = "A {U}nifying {V}iew of {F}unctional and {L}ogic {P}rogram
               {S}pecialization",
    journal = "ACM Computing Surveys",
    publisher = "ACM Press",
    volume = 30,
    number = "3es",
    pages = "9-es",
    month = "Sept.",
    year = "1998"
}