Declarative Language for Geometric Pattern Matching in VLSI Process Rule Modeling. - Gyuszi Suto; Geoff S. Greenleaf; Phanindra Bhagavatula; Heinrich R. Fischer; Sanjay K. Soni; Brian H. Miller; Renato Fernandes Hentschke (ISPD, 2019)