Monien, Burkhard: Fundamentals of computation theory / The complexity of embedding graphs into binary trees. . In: Fundamentals of computation theory. Jg.5, S.300309