Kahn (2002). Kahn, Jeff (2002), "Entropy, independent sets and antichains: a new approach to Dedekind's problem", Proceedings of the American Mathematical Society, 130 (2): 371–378, doi:10.1090/S0002-9939-01-06058-0, MR1862115.
Church (1940); Church (1965); Zaguia (1993). Church, Randolph (1940), "Numerical analysis of certain free distributive structures", Duke Mathematical Journal, 6 (3): 732–734, doi:10.1215/s0012-7094-40-00655-x, MR0002842. Church, Randolph (1965), "Enumeration by rank of the free distributive lattice with 7 generators", Notices of the American Mathematical Society, 11: 724. As cited by Wiedemann (1991). Zaguia, Nejib (1993), "Isotone maps: enumeration and structure", in Sauer, N. W.; Woodrow, R. E.; Sands, B. (eds.), Finite and Infinite Combinatorics in Sets and Logic (Proc. NATO Advanced Study Inst., Banff, Alberta, Canada, May 4, 1991), Kluwer Academic Publishers, pp. 421–430, MR1261220.
Yamamoto (1953). Yamamoto, Koichi (1953), "Note on the order of free distributive lattices", Science Reports of the Kanazawa University, 2 (1): 5–6, MR0070608.
Zaguia (1993). Zaguia, Nejib (1993), "Isotone maps: enumeration and structure", in Sauer, N. W.; Woodrow, R. E.; Sands, B. (eds.), Finite and Infinite Combinatorics in Sets and Logic (Proc. NATO Advanced Study Inst., Banff, Alberta, Canada, May 4, 1991), Kluwer Academic Publishers, pp. 421–430, MR1261220.
arxiv.org
Jäkel, Christian (2023-04-03). "A computation of the ninth Dedekind Number". arXiv:2304.00895 [math.CO].
Kahn (2002). Kahn, Jeff (2002), "Entropy, independent sets and antichains: a new approach to Dedekind's problem", Proceedings of the American Mathematical Society, 130 (2): 371–378, doi:10.1090/S0002-9939-01-06058-0, MR1862115.
Church (1940); Church (1965); Zaguia (1993). Church, Randolph (1940), "Numerical analysis of certain free distributive structures", Duke Mathematical Journal, 6 (3): 732–734, doi:10.1215/s0012-7094-40-00655-x, MR0002842. Church, Randolph (1965), "Enumeration by rank of the free distributive lattice with 7 generators", Notices of the American Mathematical Society, 11: 724. As cited by Wiedemann (1991). Zaguia, Nejib (1993), "Isotone maps: enumeration and structure", in Sauer, N. W.; Woodrow, R. E.; Sands, B. (eds.), Finite and Infinite Combinatorics in Sets and Logic (Proc. NATO Advanced Study Inst., Banff, Alberta, Canada, May 4, 1991), Kluwer Academic Publishers, pp. 421–430, MR1261220.
Tombak, Mati (2001). "On Logical Method for Counting Dedekind Numbers". Fundamentals of Computation Theory. Lecture Notes in Computer Science. Vol. 2138. pp. 424–427. doi:10.1007/3-540-44669-9_48. ISBN978-3-540-42487-1.