Franz Baader, Barbara Morawska, Jan Otop: Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011. 2011