@inproceedings{colin1997cplmu,
author	=	{Colin, Serge and Mesnard, Fred and Rauzy, Antoine},
title	=	{Constraint logic programming and mucalculus},
booktitle	=	{Proceedings of the ERCIM/COMPULOG Workshop on Constraints},
address	=	{Schloss Hagenberg, Austria},
year	=	{1997},
organization	=	{Citeseer}
}