Local computations on static and dynamic graphsAlain MayerMoni Naoret al.1995ISTCS 1995Conference paper
On the role of shared randomness in two prover proof systemsMihir BellareU. Feigeet al.1995ISTCS 1995Conference paper