Automatic Deduction of Induced Subgraphs of Some Infinite Families of Graphs. - Natalia de Ridder; H. N. de Ridder (Electron. Notes Discret. Math., 2006)

The Subgraph Isomorphism Problem on a Class of Hyperedge Replacement Languages. - H. N. de Ridder; Natalia de Ridder (ICGT, 2014)