Integrating Terminological and Deductive Reasoning. - Urs Badertscher; Robert W. Marti; Ulrich Reimer (WLP, 1994)