Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking. - Jaromir Malenko; Petr Stepánek (Description Logics, 2012)