Characterizations of time-bounded computations by limited primitive recursion
In: Automata, languages and programming, Vol. 2.1974, page 280-293
The complexity of embedding graphs into binary trees
In: Fundamentals of computation theory, Vol. 5, page 300-309