Lyaletski, A. Mathematical Text Processing in EA-Style: A Sequent Aspect. JFR 2016, 9, 235-264.