@inproceedings{bouissou1997orderingheuristics,
author	=	{Marc Bouissou and Franck Bruy\`ere and Antoine Rauzy},
title	=	{{BDD} based {F}ault-{T}ree {P}rocessing: {A} {C}omparison of {V}ariable {O}rdering {H}euristics},
booktitle	=	{Proceedings of European Safety and Reliability Association Conference, ESREL'97},
editor	=	{Carlos Guedes-Soares},
publisher	=	{Pergamon},
volume	=	{3},
pages	=	{2045--2052},
isbn	=	{0-08-042835-5},
year	=	{1997},
pdffile	=	{BouissouBruyereRauzy1997-ComparisonOfVariableOrderingHeuristics.pdf}
}