T. Hanika, and J. Hirth. Formal Concept Analysis - 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021, Proceedings, volume 12733 of Lecture Notes in Computer Science, page 261--269. Springer, (2021)
S. Hampe, M. Joswig, and B. Schröter. Journal of Symbolic Computation, (2019)MEGA 2017, Effective Methods in Algebraic Geometry, Nice (France), June 12-16, 2017..
T. Hanika, and J. Hirth. Accepted for Publication in Annals of Mathematics and Artificial Intelligence, (2022)cite arxiv:2002.11776Comment: 13 pages, 10 figures.