Automated Layout of Small Lattices Using Layer Diagrams.

Richard Cole, Jon Ducrou, Peter W. Eklund

Browse the full ICFCA paper archive.