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