\begin{thebibliography}{Mun93} \bibitem[BC93]{ColBenh:93} Fr\'ed\'eric Benhamou and Alain Colmerauer, editors. \newblock {\em Constraint Logic programming, Selected Research}. \newblock MIT Press, 1993. \bibitem[Mun93]{Munt:93} Tra{\"\i}an Muntean. \newblock {\em Puces tr\`es performantes}. \newblock Terres du futur, Les Editions UNESCO. Hatier, Paris, 1993. \end{thebibliography} \endinput %% %% End of file `bibtopic1.bbl'.