Implementing an ALCRP(D) ABox Reasoner - Progress Report - Haarslev, V. Möller, R. Turhan, Anni-Yasmin 1998 - Forschungsinformationssystem der UHH
HAM-ALC - Performance Measurements Haarslev, V. Möller, R. Turhan, Anni-Yasmin 1998 - Forschungsinformationssystem der UHH
