@article{dutuit1997primeimplicants,
author	=	{Yves Dutuit and Antoine Rauzy},
title	=	{Exact and {T}runcated {C}omputations of {P}rime {I}mplicants of {C}oherent and non-{C}oherent {F}ault {T}rees within {A}ralia},
journal	=	{Reliability Engineering and System Safety},
volume	=	{58},
number	=	{2},
publisher	=	{Elsevier},
pages	=	{127--144},
year	=	{1997},
doi	=	{10.1016/S0951-8320(97)00034-3},
abstractfile	=	{DutuitRauzy1997-TruncatedPrimeImplicants.html},
psfile	=	{DutuitRauzy1997-TruncatedPrimeImplicants.ps},
pdffile	=	{DutuitRauzy1997-TruncatedPrimeImplicants.pdf}
}