@inproceedings{AV02losptr,
author = {E.~Albert and G.~Vidal},
booktitle = {Logic-Based Program Synthesis and Transformation (Proc.\ of LOPSTR'01)},
pages = {148-167},
publisher = {Springer LNCS 2372},
title = {Symbolic Profiling for Multi-paradigm Declarative Languages},
projects = {},
butype = {inproceedings},
year = {2002}
}