Volker Haarslev Ralf Möller Anni-Yasmin Turhan Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. 61-75 2001 conf/cade/2001 IJCAR http://link.springer.de/link/service/series/0558/bibs/2083/20830061.htm db/conf/cade/ijcar2001.html#HaarslevMT01