LlNEAR-TIME CERTIFYING RECOGNITION ALGORITHMS AND FORBIDDEN INDUCED SUBGRAPHS. - Heggernes, Pinar; Kratsch, Dieter (Nordic Journal of Computing, 2007)