S. Conchon and J. Filliâtre, Type-Safe Modular Hash-Consing, In ACM SIGPLAN Workshop on ML, 2006.

M. Shin, Zero-suppressed BDDs for set manipulation in combinatorial problems, DAC, pp.272-277, 1993.

E. Donald and . Knuth, Dancing links, 2000.

E. Donald and . Knuth, The Art of Computer Programming, Combinatorial Algorithms, Part, vol.4, issue.1, 2011.

D. S. Scott, Programming a combinatorial puzzle, 1958.