Autexier, Serge Programming Logics, MPI for Informatics, Max Planck Society;
Autexier, S. (1996). Heuristiken zum Beweisen von Gleichungen. Master Thesis, Universität des Saarlandes, Saarbrücken.