@inproceedings{AHV00, author = "Elvira Albert and Michael Hanus and Germ\'an Vidal", title = "Using an {A}bstract {R}epresentation to {S}pecialize {F}unctional {L}ogic {P}rograms", booktitle = "Proc.\ of 7th International Conference on Logic for Programming and Automated Reasoning, LPAR'2000", publisher = "Springer LNAI 1955", pages = "381-398", year = 2000 }