1. and M-, Recognizing primes in random polynomial time, in Proc. 19th STOC, 1987, pp. 462–470.
2. , and , Deterministic simulation in LOGSPACE, in Proc. 19th STOC, 1987, pp. 132–140.
3. Unpublished manuscript.
4. A parallel algorithmic version of the local lemma
5. Also in 32nd FOCS, 1991, pp. 586–593.