Volker Haarslev Ralf Möller Anni-Yasmin Turhan Implementing an ALCRP(D) ABox Reasoner - Progress Report. 1998 conf/dlog/1998 Description Logics http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-11/haarslev.ps db/conf/dlog/dlog1998.html#HaarslevMT98a