Baader, Franz,
Borgwardt, Stefan and
Morawska, Barbara. 2012.
“Computing Minimal EL-unifiers is Hard.” in
Advances in Modal Logic, volume IX, edited by Thomas
Bolander, Torben
Braüner, Silvio
Ghilardi, and Lawrence S.
Moss, pp. 18–35. London: King’s College Publications.