Leonard M. Adleman Kellogg S. Booth Franco P. Preparata Walter L. Ruzzo Improved Time and Space Bounds for Boolean Matrix Multiplication. 61-77 1978 11 Acta Inf. db/journals/acta/acta11.html#AdlemanBPR78