-
61
-
62
-
63
-
64
-
65
-
66
-
67
-
68
-
69
-
70
Probabilistic checking of proofs a new characterization of NP.
Published in Journal of the ACMArticle