@article{williams2000edd,
author	=	{Poul F. Williams and Macha Nikolskaia and Antoine Rauzy},
title	=	{Bypassing {BDD} construction for reliability analysis},
journal	=	{Information Processing Letters},
publisher	=	{Elsevier},
volume	=	{75},
pages	=	{85--89},
year	=	{2000},
doi	=	{10.1016/S0020-0190(00)00082-X},
abstractfile	=	{WilliamsNikolskaiaRauzy2000-BypassingBDDConstruction.html},
psfile	=	{WilliamsNikolskaiaRauzy2000-BypassingBDDConstruction.ps},
pdffile	=	{WilliamsNikolskaiaRauzy2000-BypassingBDDConstruction.pdf}
}