Witnesses for Boolean Matrix Multiplication and for Shortest Paths

Witnesses for Boolean Matrix Multiplication and for Shortest Paths Noga Alon Zvi Galil Oded Margalit Moni Naor 417-426 conf/focs/FOCS33 1992 FOCS db/conf/focs/focs92.html#AlonGMN92