Algorithms for paths in the lattice of topologies on finite sets (abstract only). - H. Levinson; Ruth Silverman (ACM Conference on Computer Science, 1987)