Malenkoand Stepánek. Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking. 2012.