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