Formal definitions of edge-based geometric design rules. - Kjell O. Jeppson; Sven Christensson; Nils Hedenstierna (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993)