@inproceedings{AFSV00, author = "Elvira Albert and Cesar Ferri and Frank Steiner and Germ\'an Vidal", title = "Improving {F}unctional {L}ogic {P}rograms by {D}ifference-Lists", booktitle = "Proc.\ of 6th Asian Computing Science Conference, ASIAN'2000", publisher = "Springer LNCS 1961", pages = "238-255", year = 2000 }