A. Haret: "Merging in the Horn fragment"; Supervisor: S. Woltran, St. Rümmele; Institut für Informationssysteme, 2014; final examination: 2014-09-23.