Ian Munro
Department of Computer Science, University of Toronto, USA
A Theorem on Boolean Matrices
Journal of the ACM (JACM)