lSpace Enumerating lattices of subsets (history)

November 26, 2013