Login / Signup

A Terminological Knowledge Representation System with Complete Inference Algorithms.

Franz BaaderBernhard Hollunder
Published in: PDK (1991)
Keyphrases