Solving Unification in the Description Logic FL_bottom.

Barbara Morawska, Dariusz Marzec

Browse the full KR paper archive.