@inproceedings{nikolskaia2000bed,
author	=	{Macha Nikolskaia and Antoine Rauzy},
title	=	{Application des diagrammes binaires d'expressions au traitement d'arbres de d\'efaillance},
booktitle	=	{Actes du congr\`es LambdaMu'12},
pages	=	{363--367},
year	=	{2000}
}