@inproceedings{colin1999moduleprolog,
author	=	{Serge Colin and Fr\'ed\'eric Mesnard and Antoine Rauzy},
title	=	{Un module prolog de mu-calcul bool\'een~:une r\'ealisation par {BDD}},
booktitle	=	{Actes des journ\'ees francophones de programmation logique et par contraintes, JFPLC'99},
pages	=	{23--38},
year	=	{1999}
}