Andreas Blass Yuri Gurevich Matrix Transformation Is Complete for the Average Case. 3-29 1995 24 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp24.html#BlassG95