Witnesses for Boolean matrix multiplication and for transitive closure (1993)

by Z Galil, O Margalit
Venue:Journal of Complexity