T. Hanika, M. Marx, and G. Stumme. Formal Concept Analysis - 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, Proceedings, volume 11511 of Lecture Notes in Computer Science, page 315--323. Springer, (2019)
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..
M. Stubbemann, T. Hanika, and G. Stumme. Advances in Intelligent Data Analysis XVIII - 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings, volume 12080 of Lecture Notes in Computer Science, page 496--508. Springer, (2020)