Dimitrienko, Y. I., et al.. Visual-geometric Representation of Theorem Proofs in Nomotex DLS. Edited by Y.I. Dimitrienko and E.N. Grigorieva, vol. 35, EDP Sciences, 2020, doi:10.1051/itmconf/20203503009.