Constructing unlabelled lattices. - Volker Gebhardt; Stephen Tawn (CoRR, 2016)