@article{AV01,
author = {E.~Albert and G.~Vidal},
journal = {New Generation Computing},
number = {1},
pages = {3-26},
title = {The {N}arrowing-{D}riven {A}pproach to {F}unctional {L}ogic {P}rogram {S}pecialization},
volume = {20},
projects = {},
butype = {article},
year = {2002}
}