
@inproceedings{bell-numbers,
  title = "A000110: Bell or exponential numbers: number of ways to partition a set of n labeled elements.",
  author = "N. J. A. Sloane",
  booktitle = "The On-Line Encyclopedia of Integer Sequences",
  editors = "N. J. A. Sloane",
  note = "https://oeis.org/A000110"
}

@misc{wiki:equiv-relation,
   author = "Wikipedia",
   title = "Equivalence relation --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "\url{https://en.wikipedia.org/w/index.php?title=Equivalence_relation&oldid=720914778}",
   note = "[Online; accessed 23-May-2016]"
}

@article{bulwahn-AFP15,
  author =   {Lukas Bulwahn},
  title =    {Cardinality of Set Partitions},
  journal =  {Archive of Formal Proofs},
  month =    Dec,
  year =     2015,
  note =     {\url{http://www.isa-afp.org/entries/Card_Partitions.shtml}, Formal proof development},
  ISSN =     {2150-914x}
}

@article{bulwahn-AFP16,
  author =   {Lukas Bulwahn},
  title =    {Spivey's Generalized Recurrence for Bell Numbers},
  journal =  {Archive of Formal Proofs},
  month =    May,
  year =     2016,
  note =     {\url{http://www.isa-afp.org/entries/Bell_Numbers_Spivey.shtml}, Formal proof development},
  ISSN =     {2150-914x}
}
