SubGemini: Identifying SubCircuits using a Fast Subgraph Isomorphism Algorithm. - Miles Ohlrich; Carl Ebeling; Eka Ginting; Lisa Sather (DAC, 1993)