Becker, J. (1994). Effiziente Subsumption in Deduktionssystemen. Master Thesis, Universität des Saarlandes, Saarbrücken.