%0 Conference Paper %1 conf/jelia/RoyerQ92 %A Royer, Véronique %A Quantz, Joachim %B JELIA %D 1992 %E Pearce, David %E Wagner, Gerd %I Springer %K dblp %P 84-105 %T Deriving Inference Rules for Terminological Logics. %U http://dblp.uni-trier.de/db/conf/jelia/jelia92.html#RoyerQ92 %V 633 %@ 3-540-55887-X

@inproceedings{conf/jelia/RoyerQ92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Royer, Véronique and Quantz, Joachim}, biburl = {https://www.bibsonomy.org/bibtex/2fbebeb9c2ce95b3d8bba3a042dbc68df/dblp}, booktitle = {JELIA}, crossref = {conf/jelia/1992}, editor = {Pearce, David and Wagner, Gerd}, ee = {https://doi.org/10.1007/BFb0023423}, interhash = {e8657552057e1a94dcb46a2c18172c4c}, intrahash = {fbebeb9c2ce95b3d8bba3a042dbc68df}, isbn = {3-540-55887-X}, keywords = {dblp}, pages = {84-105}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-07T11:41:11.000+0100}, title = {Deriving Inference Rules for Terminological Logics.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia92.html#RoyerQ92}, volume = 633, year = 1992 }