@inproceedings{M094.051,
author={Tarau, P. and De Bosschere, K.},
title={Memoing with Abstract Answers and Delphi Lemmas},
booktitle={Logic Program Synthesis and Transformation},
year={1994},
month={12},
editor={Deville, Y.},
publisher={Springer-Verlag},
series={Workshops in Computing},
address={Louvain-la-Neuve},
}