Witnesses for Boolean matrix multiplication and for shortest pathsNoga AlonZvi Galilet al.1992FOCS 1992