On Nečiporuk's theorem for branching programs

From MaRDI portal