Miles Ohlrich Carl Ebeling Eka Ginting Lisa Sather SubGemini: Identifying SubCircuits using a Fast Subgraph Isomorphism Algorithm. 31-37 1993 DAC http://doi.acm.org/10.1145/157485.164556 db/conf/dac/dac93.html#OhlrichEGS93