N. Kattner, E. Shakirov, und U. Lindemann. PLM, Volume 565 von IFIP Advances in Information and Communication Technology, Seite 223-232. Springer, (2019)
E. Fischer, T. Kotek, und J. Makowsky. AMS-ASL Joint Special Session, Volume 558 von Contemporary Mathematics, Seite 1-42. American Mathematical Society, (2009)