Formulas are Exponentially Stronger than Monotone Circuits in Non-commutative Setting | IEEE Conference Publication | IEEE Xplore