Franz Baader Barbara Morawska 0001 Jan Otop Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011. UNIF 2011 db/conf/unif/unif2011.html