The four Russians' algorithm for boolean matrix multiplication is optimal in its class

[1]  J. Moon,et al.  A matrix reduction problem , 1966 .