Witnesses for boolean matrix multiplication and for shortest paths (1992)

by N Alon, O Margalit, Z Galilt, M Naor
Venue:In Proceedings of the 33rd Annual Symposium on Foundations of Computer Science (FOCS