А. М. Райгородский, “Several Directions of Computer-Aided Investigations in Combinatorics and Geometry”, CTE, no. 3, pp. 25-31, Jun. 2017.