@inproceedings{dutuit1998polynomialapproximations,
author	=	{Yves Dutuit and Antoine Rauzy},
title	=	{Polynomial Approximations of {B}oolean Functions by means of positive Binary Decision Diagrams},
booktitle	=	{Proceedings of European Safety and Reliability Association Conference, ESREL'98},
editor	=	{Lydersen and Hansen and Sandtorv},
publisher	=	{Balkerna, Rotterdam},
note	=	{ISBN 90 54 10 966 1},
pages	=	{1467--1472},
year	=	{1998}
}