A Novel Graph Algorithm for Circuit Recognition. - Kai-Ti Huang; David Overhauser (ISCAS, 1995)