Urs Badertscher, Robert W. Marti, Ulrich Reimer. Integrating Terminological and Deductive Reasoning. In WLP. pages 40-43, 1994.
@inproceedings{BadertscherMR94,
title = {Integrating Terminological and Deductive Reasoning},
author = {Urs Badertscher and Robert W. Marti and Ulrich Reimer},
year = {1994},
researchr = {https://researchr.org/publication/BadertscherMR94},
cites = {0},
citedby = {0},
pages = {40-43},
booktitle = {WLP},
}