Becker, Joachim Programming Logics, MPI for Informatics, Max Planck Society;
Becker, J. (1994). Effiziente Subsumption in Deduktionssystemen. Master Thesis, Universität des Saarlandes, Saarbrücken.