Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
Bockmayr, A. (1996). Gleichheit und Constraints in der Logikprogrammierung. Habilitation Thesis, Universität des Saarlandes, Saarbrücken.