@article{rauzy1996bdd,
author	=	{Antoine Rauzy},
title	=	{An {B}rief {I}ntroduction to {B}inary {D}ecision {D}iagrams},
journal	=	{RAIRO-APII-JESA},
volume	=	{30},
number	=	{8},
pages	=	{1033--1051},
year	=	{1996},
issn	=	{12696935},
abstractfile	=	{Rauzy1996-ABriefIntrodutionToBDD.html},
pdffile	=	{Rauzy1996-ABriefIntrodutionToBDD.pdf}
}