L. Fleischer, und M. Kufleitner. 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015), 45, Seite 112-124. Wadern, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, (2015)
V. Diekert, A. Myasnikov, und A. Weiß. ISSAC'15 : proceedings of the 40th International Symposium on Symbolic and Algebraic Computation, Seite 141-148. New York, NY, ACM, (2015)