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