@inproceedings{dutuit1997newnotion,
author	=	{Yves Dutuit and Antoine Rauzy},
title	=	{A New Notion of Prime Implicants and its Implementation by Means of Binary Decision Diagrams},
booktitle	=	{Proceedings of the 1st International Conference on Mathematical Methods in Reliability, MMR'97},
pages	=	{111--119},
year	=	{1997}
}