
@book{SC19,
  title={Discrete {M}orse {T}heory},
  author={Scoville, Nicholas A.},
  year={2019},
  publisher={American Mathematical Society},
  series={Student Mathematical Library},
  volume= 90,
}

@article{ROBDD-AFP,
  author  = {Julius Michaelis and Maximilian Haslbeck and Peter Lammich and Lars Hupel},
  title   = {Algorithms for Reduced Ordered Binary Decision Diagrams},
  journal = {Archive of Formal Proofs},
  month   = apr,
  year    = 2016,
  note    = {\url{https://isa-afp.org/entries/ROBDD.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

@unpublished{CHSC,
 author = {Chastain, Erick J. and Scoville, Nicholas A.},
 title = {Homology of {B}oolean functions and the complexity of simplicial homology},
 note={\newline\url{https://nanopdf.com/download/homology-of-boolean-functions-and-the-complexity-of-simplicial-homology_pdf}}
}
