Quelle  root.bib   Sprache: Latech

@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},
}