Automated Layout of Small Lattices Using Layer Diagrams.

Richard Cole Jon Ducrou Peter W. Eklund Automated Layout of Small Lattices Using Layer Diagrams. 291-305 2006 conf/icfca/2006 ICFCA http://dx.doi.org/10.1007/11671404_20 db/conf/icfca/icfca2006.html#ColeDE06