Existence and construction of edge disjoint paths on expander graphsAndrei Z. BroderAlan M. Friezeet al.1992STOC 1992
Two-prover one-round proof systems: Their power and their problemsUriel FeigeLászló Lovász1992STOC 1992