S. Storandt, and S. Funke. The Thirty-Third AAAI Conference on Artificial Intelligence, the Thirty-First Innovative Applications of Artificial Intelligence Conference, the Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, page 1600-1607. Palo Alto, California, USA, AAAI Press, (2019)
V. Diekert, A. Myasnikov, and A. Weiß. ISSAC'15 : proceedings of the 40th International Symposium on Symbolic and Algebraic Computation, page 141-148. New York, NY, ACM, (2015)
V. Diekert, A. Myasnikov, and A. Weiß. Special issue on the conference ISSAC 2015: Symbolic computation and computer algebra, 83, page 147-165. Amsterdam, Elsevier, (2017)