Arnold L. Rosenberg, Derick Wood, et al.
Mathematical Systems Theory
An attempt is made to present a framework for the diverse complete problems that have been found. A new concept-a Hierarchy of Complete Problems is defined. Several hierarchies in various domains such as graph theory, automata theory, theorem proving and games are established. © 1976 Springer-Verlag.
Arnold L. Rosenberg, Derick Wood, et al.
Mathematical Systems Theory
David Eppstein, Zvi Galil, et al.
STOC 1993
David Eppstein, Zvi Galil, et al.
Journal of the ACM
Zvi Galil, Joel Seiferas
FOCS 1976