Ralph Freese Automated Lattice Drawing. 112-127 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2961&spage=112 2004 conf/icfca/2004 ICFCA db/conf/icfca/icfca2004.html#Freese04