A. Lyaletski, “Mathematical Text Processing in EA-style: a Sequent Aspect”, JFR, vol. 9, no. 1, pp. 235–264, Jan. 2016.