Franz Baader, Nguyen Thanh Binh 0003, Stefan Borgwardt, Barbara Morawska 0001. Computing Local Unifiers in the Description Logic EL without the Top Concept. In Franz Baader, Barbara Morawska 0001, Jan Otop, editors, Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011. pages 2-8, 2011. [doi]
Abstract is missing.