U. Feige
S. Goldwasser
L. Lovasz
S. Safra
M. Szegedy
[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science
Polynomial time approximation schemes for Euclidean traveling salesman and other geometric problems
Two prover protocols