Lyra: A new approach to geometric layout rule checking.

Michael H. Arnold, John K. Ousterhout

Browse the full DAC paper archive.