@article{BDD-AFP,
	author  = {Veronika Ortner and Norbert Schirmer},
	title   = {{BDD} {N}ormalisation},
	journal = {Archive of Formal Proofs},
	month   = feb,
	year    = 2008,
	note    = {\url{http://isa-afp.org/entries/BDD.shtml}, Formal proof development},
	ISSN    = {2150-914x},
}

@incollection{giorgino2012correctness,
	title={Correctness of pointer manipulating algorithms illustrated by a verified {BDD} construction},
	author={Giorgino, Mathieu and Strecker, Martin},
	booktitle={FM 2012: Formal Methods},
	pages={202--216},
	year={2012},
	publisher={Springer}
}

@inproceedings{brace1991efficient,
	title={Efficient implementation of a {BDD} package},
	author={Brace, Karl S and Rudell, Richard L and Bryant, Randal E},
	booktitle={Proceedings of the 27th ACM/IEEE design automation conference},
	pages={40--45},
	year={1991},
	organization={ACM}
}	

@article{Boolean_Expression_Checkers-AFP,
	author  = {Tobias Nipkow},
	title   = {{B}oolean {E}xpression {C}heckers},
	journal = {Archive of Formal Proofs},
	month   = jun,
	year    = 2014,
	note    = {\url{http://isa-afp.org/entries/Boolean_Expression_Checkers.shtml}, Formal proof development},
	ISSN    = {2150-914x},
}
