@inproceedings{rauzy1992add,
author	=	{Antoine Rauzy},
title	=	{Contraintes bool\'eennes et gestion d'arbres de d\'efaillance},
booktitle	=	{Actes des Journ\'ees {F}rancophones sur la {P}rogrammation en {L}ogique, JFPL'92},
editor	=	{P.~Mathieu},
publisher	=	{Universit\'e des Sciences et Technologies de Lille},
pages	=	{301--313},
year	=	{1992}
}