1. Proof verification and the hardness of approximation problems;Arora,1992
2. Probabilistic checking of proofs: A new characterization of NP;Arora,1992
3. On linear time minor tests and depth first search;Bodlaender,1989
4. Self-stabilizing systems in spite of distributed control;Dijkstra;Comm. ACM,1974
5. M. R. Fellows, M. A. Langston, On Well-Partial-Order Theory and Its Applications to Combinatorial Problems of VLSI Design, CS-88-188, Dept. of Computer Science, Washington State University, 1988